11484 search results - page 2056 / 2297 » Modeling in the Large and Modeling in the Small |
197
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
153
click to vote
APPROX
2007
Springer
16 years 23 days ago
2007
Springer
Consider a scenario where one desires to simulate the execution of some graph algorithm on random input graphs of huge, perhaps even exponential size. Sampling and storing these h...
177
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
Computer usage and threat models have changed drastically since the advent of access control systems in the 1960s. Instead of multiple users sharing a single file system, each us...
168
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
194
click to vote
OOPSLA
2007
Springer
16 years 22 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...