861 search results - page 65 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
118
click to vote
ERLANG
2008
ACM
15 years 4 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
118
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
156
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
121
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents an approach to analyse the behaviours of teams of autonomous agents who work together to achieve a common goal. The agents in a team are evolved together using...
144
click to vote
PEPM
2010
ACM
15 years 12 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...