4311 search results - page 663 / 863 » Code Generation for Distributed Systems |
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Traditionally, active power has been the primary source of power dissipation in CMOS designs. Although, leakage power is becoming increasingly more important as technology feature...
ICNP
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
CGO
2005
IEEE
14 years 4 months ago
2005
IEEE
In this work, we develop a secret sharing based compiler solution to achieve confidentiality, integrity and availability (intrusion tolerance) of critical data together, rather th...
SBACPAD
2005
IEEE
14 years 4 months ago
2005
IEEE
Executing long-running parallel applications in Opportunistic Grid environments composed of heterogeneous, shared user workstations, is a daunting task. Machines may fail, become ...