987 search results - page 127 / 198 » Implementing an untrusted operating system on trusted hardwa... |
CAV
2010
Springer
14 years 7 days ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
RV
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...
EH
2004
IEEE
14 years 19 days ago
2004
IEEE
The use of Application Specific Instruction-set Processors (ASIP) in embedded systems is a solution to the problem of increasing complexity in the functions these systems have to ...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
NoSQL databases focus on analytical processing of large scale datasets, offering increased scalability over commodity hardware. One of their strongest features is elasticity, whi...
ICCS
2001
Springer
14 years 1 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...