1206 search results - page 200 / 242 » Concurrent Abstract Predicates |
130
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
117
click to vote
STOC
2002
ACM
16 years 24 days ago
2002
ACM
d Abstract) Ran Canetti Yehuda Lindell Rafail Ostrovsky Amit Sahai? We show how to securely realize any multi-party functionality in a universally composable way, regardless of th...
ICCD
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Capacitive and inductive crosstalk noises are expected to be more serious in advanced technologies. However, capacitive and inductive crosstalk noises in the future hav...
102
click to vote
ICCD
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— The continuing divergence of processor and memory speeds has led to the increasing reliance on larger caches which have become major consumers of area and power in embe...
106
Voted
ICCAD
2008
IEEE
15 years 9 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...