137 search results - page 14 / 28 » Justifying Integrity Using a Virtual Machine Verifier |
AAAI
2007
13 years 10 months ago
2007
We have used semantic technologies to design, implement, and deploy an interdisciplinary virtual observatory. The Virtual Solar-Terrestrial Observatory is a production data framew...
FECS
2009
13 years 5 months ago
2009
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
CGO
2006
IEEE
14 years 1 months ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...
B
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
ENTCS
2002
13 years 7 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...