2468 search results - page 434 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
124
Voted
ICPADS
2007
IEEE
15 years 9 months ago
2007
IEEE
For some sequential loops, existing techniques that form speculative threads only at their loop boundaries do not adequately expose the speculative parallelism inherent in them. T...
124
Voted
SIGGRAPH
1997
ACM
15 years 7 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
141
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
—Recent advances in DNA sequencing techniques have led to an unprecedented accumulation and availability of molecular sequence data that needs to be analyzed. This data explosion...
113
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
The Converse run-time framework was designed with dual objectives: that of supporting quick development of portable run-time systems for new parallel programming paradigms, and tha...
120
Voted
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...