2520 search results - page 252 / 504 » Model-checking behavioral programs |
213
click to vote
SIGMETRICS
2003
ACM
15 years 12 months ago
2003
ACM
Caches have become increasingly important with the widening gap between main memory and processor speeds. However, they are a source of unpredictability due to their characteristi...
145
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...
167
click to vote
DBPL
1993
Springer
15 years 10 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
182
click to vote
WSC
2000
15 years 8 months ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
227
click to vote
TVLSI
2010
15 years 1 months ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...