2673 search results - page 411 / 535 » Guided Static Analysis |
133
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
117
click to vote
CGO
2004
IEEE
15 years 8 months ago
2004
IEEE
Operand gating is a technique for improving processor energy efficiency by gating off sections of the data path that are unneeded by short-precision (narrow) operands. A method fo...
124
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
135
click to vote
FAST
2008
15 years 6 months ago
2008
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
171
click to vote
APSCC
2008
IEEE
15 years 6 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...