1992 search results - page 90 / 399 » On the (limited) power of non-equivocation |
144
click to vote
Lecture Notes
Silicon-based electronics is the foundation of computing devices. The computer industry is reaching an important milestone, where physical limits arising from using optical lithogr...
CAV
2009
Springer
16 years 13 days ago
2009
Springer
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall s...
SC
2004
ACM
15 years 5 months ago
2004
ACM
—It seems well understood that supercomputer simulation is an enabler for scientific discoveries, weapons, and other activities of value to society. It also seems widely believed...
SACRYPT
1998
Springer
15 years 4 months ago
1998
Springer
We introduce a new payment architecture that limits the power of an attacker while providing the honest user with privacy. Our proposed method defends against all known attacks on ...
114
click to vote
HASKELL
2007
ACM
15 years 3 months ago
2007
ACM
We propose an extension to list comprehensions that makes it easy to express the kind of queries one would write in SQL using ORDER BY, GROUP BY, and LIMIT. Our extension adds exp...