1237 search results - page 144 / 248 » Strictness and Totality Analysis |
179
click to vote
ESA
2009
Springer
15 years 10 months ago
2009
Springer
A familiar quandary arises when there are several possible alternatives for the solution of a problem, but no way of knowing which, if any, are viable for a particular problem inst...
144
click to vote
ECAL
2001
Springer
15 years 10 months ago
2001
Springer
We investigate the possible organisations emerging from an artificial chemistry (AC) of colliding molecules in a well stirred reactor. The molecules are generated from 7 basic comp...
165
click to vote
SACRYPT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper describes a timing attack on the RC5 block encryption algorithm. The analysis is motivated by the possibility that some implementations of RC5 could result in ...
155
click to vote
SOFSEM
1997
Springer
15 years 10 months ago
1997
Springer
This paper surveys recent results in the area of virtual path layout in ATM networks. We present a model for the theoretical study of these layouts the model amounts to covering t...
294
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
In this work we improve top-down min-cut placers in the context of timing closure. Using the concept of boosting factors, we adjust net weights according to net spans, so as to re...