1818 search results - page 194 / 364 » Granularity-Adaptive Proof Presentation |
158
click to vote
ECRTS
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...
130
click to vote
CHES
2006
Springer
15 years 7 months ago
2006
Springer
Balanced dynamic dual-rail gates and asynchronous circuits have been shown, if implemented correctly, to have natural and efficient resistance to side-channel attacks. Despite thei...
131
Voted
GD
2006
Springer
15 years 7 months ago
2006
Springer
st-orientations (st-numberings) or bipolar orientations of undirected graphs are central to many graph algorithms and applications. Several algorithms have been proposed in the pas...
183
Voted
GOSLER
1995
15 years 7 months ago
1995
The present paper deals with the learnability of indexed families of uniformly recursive languages from positive data as well as from both, positive and negative data. We consider...
138
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
The Unified Model (UM) key agreement protocol is an efficient Diffie-Hellman scheme that has been included in many cryptographic standards, most recently in the NIST SP 80056A sta...