2364 search results - page 422 / 473 » An Engine for Computing Well-Founded Models |
114
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Most data used in the study of seafloor hydrothermal plumes consists of sonar (acoustic) scans and sensor readings. Visual data captures only a portion of the sonar data range due...
116
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
We present a tool suite for building, simulating, and analyzing the results of hierarchical descriptions of the scheduling policy for modules sharing a bus in real-time applicatio...
120
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP). We ad...
143
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
129
click to vote
EUROSYS
2009
ACM
16 years 28 days ago
2009
ACM
The backends of today’s Internet services rely heavily on caching at various layers both to provide faster service to common requests and to reduce load on back-end components. ...