6608 search results - page 1121 / 1322 » On the Completeness of Model Checking |
186
click to vote
SIGMETRICS
1996
ACM
15 years 8 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
126
click to vote
CASES
2001
ACM
15 years 8 months ago
2001
ACM
Today's digital signal processors (DSPs), unlike general-purpose processors, use a non-uniform addressing model in which the primary components of the memory system--the DRAM...
139
click to vote
ATAL
1997
Springer
15 years 8 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
135
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
202
click to vote
ECEH
2007
15 years 6 months ago
2007
: A number of Electronic Health Record (EHR) standards and frameworks have been developed to assist with the interoperability and integration of distributed EHR information. Ideall...