1410 search results - page 125 / 282 » A Logic for Virtual Memory |
152
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
131
click to vote
JMM2
2008
15 years 4 months ago
2008
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
126
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
140
click to vote
ATS
2009
IEEE
15 years 9 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...
111
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...