2364 search results - page 123 / 473 » An Engine for Computing Well-Founded Models |
119
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
138
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
173
click to vote
SIGIR
2012
ACM
13 years 6 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...
143
Voted
HICSS
1994
IEEE
15 years 8 months ago
1994
IEEE
The development of accurate trace-driven simulation models has become a key activity in the design of new high-performance computer systems. Tracedriven simulation is fast) enabli...
149
Voted
DAC
2007
ACM
15 years 8 months ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...