2634 search results - page 77 / 527 » Faster Than Uppaal |
DAC
1994
ACM
14 years 29 days ago
1994
ACM
Abstract - We propose a new algorithm for the performancedriven interconnect design problem, based on alphabetic trees. The interconnect topology is determined in a global manner a...
FSE
1994
Springer
14 years 29 days ago
1994
Springer
In this paper we present an improvement of the differential attack on hash functions based on block ciphers. By using the specific properties of the collision attack on hash functi...
PLILP
1994
Springer
14 years 28 days ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
SIGGRAPH
1994
ACM
14 years 28 days ago
1994
ACM
A new algorithm for computing contact forces between solid objects with friction is presented. The algorithm allows a mix of contact points with static and dynamic friction. In co...
SIGMOD
1994
ACM
14 years 28 days ago
1994
ACM
We present a framework which allows the user to access and manipulate data uniformly, regardless of whether it resides in a database or in the file system (or in both). A key issu...