11484 search results - page 581 / 2297 » Modeling in the Large and Modeling in the Small |
213
click to vote
FPGA
1999
ACM
15 years 11 months ago
1999
ACM
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...
238
click to vote
HT
1997
ACM
15 years 11 months ago
1997
ACM
Hypermedia concepts are currently being deployed in a variety of information systems such as the World Wide Web, software development environments, large engineering enterprises, ...
197
click to vote
CIKM
2006
Springer
15 years 11 months ago
2006
Springer
We present a static index pruning method, to be used in ad-hoc document retrieval tasks, that follows a documentcentric approach to decide whether a posting for a given term shoul...
178
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
204
click to vote
AISC
2008
Springer
15 years 9 months ago
2008
Springer
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...