2634 search results - page 31 / 527 » Faster Than Uppaal |
HVC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. HaifaSat is a new SAT solver that is based on a new decision heuristic called Clause-Move-To-Front (CMTF), a new resolutionbased scoring strategy and many other improveme...
PPSN
2004
Springer
14 years 27 days ago
2004
Springer
Formula One motor racing is a rich sport that spends millions on research and development of highly optimized cars. Here we describe the use of a genetic algorithm to optimize 66 s...
FSE
2003
Springer
14 years 23 days ago
2003
Springer
In this paper the newly proposed RMAC system is analysed and a generic attack is presented. The attack can be used to find one of the two keys in the system faster than by an exh...
ASYNC
2002
IEEE
14 years 15 days ago
2002
IEEE
This paper introduces two new high-speed quasi delay insensitive (QDI) asynchronous pipeline templates. These new high throughput templates support complex non-linear pipeline str...
PKC
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. We describe a new general method to perform part of the setup stage of the XTR system introduced at Crypto 2000, namely finding the trace of a generator of the XTR group...