109 search results - page 11 / 22 » Reducing Model Checking of the Many to the Few |
ASE
2006
13 years 8 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
DATE
2004
IEEE
14 years 5 days ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
AMC
2008
13 years 8 months ago
2008
Abstract Nowadays many real problems can be modelled as Constraint Satisfaction Problems (CSPs). A search algorithm for constraint programming requires an order in which variables ...
MMM
2007
Springer
14 years 2 months ago
2007
Springer
Real time rendering of animated crowds has many practical multimedia applications. The Graphics Processor Unit (GPU) is being increasingly employed to accelerate associated renderi...
CAISE
2006
Springer
14 years 5 days ago
2006
Springer
- Extended Abstract of Industrial Talk IT services are an important means to achieve competitive advantages by creating new business models or by reducing costs. Furthermore, there...