1581 search results - page 155 / 317 » Mechanizing Inductive Reasoning |
160
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
164
click to vote
ISAS
2004
Springer
15 years 11 months ago
2004
Springer
Restart is an application-level mechanism to speed up the completion of tasks that are subject to failures or unpredictable delays. In this paper we investigate if restart can be b...
176
click to vote
ICNP
2003
IEEE
15 years 11 months ago
2003
IEEE
Structured peer-to-peer overlays provide a natural infrastructure for resilient routing via efficient fault detection and precomputation of backup paths. These overlays can respo...
170
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Efficient use of network resources has long been an important problem for large-scale network operators. To this end, several recent research efforts have proposed automated m...
157
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
The neural computations that support bat echolocation are of great interest to both neuroscientists and engineers, due to the complex and extremely time-constrained nature of the ...