1234 search results - page 148 / 247 » Privacy-preserving Virtual Machine |
126
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
As the use of virtual machines (VMs) for scientific applications becomes more common, we encounter the need to integrate VM provisioning models into the existing resource managemen...
123
click to vote
AAAI
2010
15 years 5 months ago
2010
The bare minimum lexical resource required to translate between a pair of languages is a translation dictionary. Unfortunately, dictionaries exist only between a tiny fraction of ...
103
click to vote
SE
2007
15 years 5 months ago
2007
Abstract: Software development is a complex task and therefore requires professional programming skills. Restricting the focus to a specific problem domain allows the application o...
108
click to vote
WOTUG
2007
15 years 5 months ago
2007
The LEGO Mindstorms RCX is a widely deployed educational robotics platform. This paper presents a concurrent operating environment for the Mindstorms RCX, implemented natively usin...
133
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...