156 search results - page 7 / 32 » Architectural Support for Arithmetic in Optimal Extension Fi... |
MICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
ECOOP
1995
Springer
13 years 11 months ago
1995
Springer
Previous studies have shown that object-oriented programs have different execution characteristics than procedural programs, and that special object-oriented hardware can improve p...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
JNW
2007
13 years 7 months ago
2007
- Recent technological advances provide an excellent opportunity to achieve truly effective results in the field of open Internet devices, also known as Open Routers or ORs. Even t...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...