1010 search results - page 190 / 202 » Logics for Contravariant Simulations |
121
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
113
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Accurate timing analysis is crucial for obtaining the optimal clock frequency, and for other design stages such as power analysis. Most methods for estimating propagation delay ...
146
click to vote
DSN
2009
IEEE
15 years 8 months ago
2009
IEEE
The threat of soft error induced system failure in high performance computing systems has become more prominent, as we adopt ultra-deep submicron process technologies. In this pap...
122
Voted
ICNP
2009
IEEE
15 years 8 months ago
2009
IEEE
—With advances in energy harvesting techniques, it is now feasible to build sustainable sensor networks (SSN) to support long-term applications. Unlike battery-powered sensor net...
108
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place...