612 search results - page 93 / 123 » Using Static Analysis to Improve Automatic Test Generation |
83
Voted
ICIP
2009
IEEE
16 years 24 days ago
2009
IEEE
In the near future automatic systems able to detect the traffic situation and to understand driver behavior and intent will probably become vehicles tool to improve driver safety....
115
click to vote
SAT
2009
Springer
15 years 6 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
129
click to vote
PLDI
1997
ACM
15 years 4 months ago
1997
ACM
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...
121
click to vote
AAAI
2006
15 years 1 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Code specialization is a way to obtain significant improvement in the performance of an application. It works by exposing values of different parameters in source code. The availa...