6020 search results - page 897 / 1204 » A New Approach to Model Counting |
188
click to vote
GRID
2004
Springer
15 years 12 months ago
2004
Springer
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
196
click to vote
COOPIS
2003
IEEE
15 years 12 months ago
2003
IEEE
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
162
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
The growing impact of within-die process variation has created the need for statistical timing analysis, where gate delays are modeled as random variables. Statistical timing anal...
163
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Healthcare organizations worldwide are faced with the growing challenge of introducing structural and technological reforms and cost-effective IT solutions that will transform the...
177
click to vote
SC
2003
ACM
15 years 12 months ago
2003
ACM
The emergence of grid and a new class of data-driven applications is making a new form of parallelism desirable, which we refer to as coarse-grained pipelined parallelism. This pa...