1234 search results - page 175 / 247 » Privacy-preserving Virtual Machine |
130
click to vote
FGCS
2002
15 years 3 months ago
2002
Parameter-space studies involve running a single application several times with different parameter sets. Since the jobs are mutually independent, many computing resources can be r...
149
click to vote
FAC
2010
15 years 2 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
122
click to vote
SAMOS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract—In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes DataFlow concurrency. The programmer augments the program with macr...
120
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Cloud security issues have recently gained traction in the research community, with much of the focus primarily concentrated on securing the operating systems and virtual machines...
154
click to vote
ASWEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...