13489 search results - page 2360 / 2698 » Self-migration of operating systems |
210
click to vote
ACL2
2006
ACM
16 years 22 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
183
click to vote
ACMACE
2006
ACM
16 years 22 days ago
2006
ACM
Research in Interactive Narrative has developed new approaches to the behaviour of virtual actors, but has dedicated little attention to the physical behaviour of the environment ...
174
click to vote
ACMSE
2006
ACM
16 years 22 days ago
2006
ACM
In this paper, we describe a demonstration called an “End-to-End” demonstration developed for the 2005 offering of our grid computing course that was taught across the State o...
159
click to vote
ASSETS
2006
ACM
16 years 22 days ago
2006
ACM
This paper describes iNetSim, a universally accessible network simulator, created to allow vision-impaired and sighted users to complete Cisco Certified Network Associate level tw...
167
click to vote
INFOSCALE
2006
ACM
16 years 21 days ago
2006
ACM
— The University of California, Berkeley and the University of Liverpool in conjunction with the San Diego Supercomputer Center, are developing a framework for GridBased Digital ...