558 search results - page 100 / 112 » Optimizing Symbolic Model Checking for Constraint-Rich Model... |
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
ICRA
1999
IEEE
14 years 16 hour ago
1999
IEEE
Techniques for interactive 3D manipulation of articulated objects in cluttered environments should be geometricallyaware, going beyond basic inverse or forward kinematics to allow...
CC
2003
Springer
14 years 29 days ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
ECOOP
1999
Springer
14 years 7 hour ago
1999
Springer
Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debu...
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...