3153 search results - page 561 / 631 » Programming the Grid: Component Systems for Distributed Appl... |
109
click to vote
WSC
1998
15 years 4 months ago
1998
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
120
click to vote
WSC
1989
15 years 4 months ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
113
Voted
TCS
2010
15 years 1 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
129
Voted
CC
2009
Springer
15 years 10 months ago
2009
Springer
Software systems typically exploit only a small fraction of the realizable performance from the underlying microprocessors. While there has been much work on hardware-aware optimiz...
192
click to vote
VEE
2012
ACM
13 years 10 months ago
2012
ACM
Flexible and efficient runtime design requires an understanding of the dependencies among the components internal to the runtime and those between the application and the runtime...