452 search results - page 36 / 91 » Symbolic Execution of Behavioral Requirements |
91
Voted
IPPS
1996
IEEE
15 years 3 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
100
Voted
CADE
2010
Springer
15 years 1 days ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
118
Voted
GPCE
2007
Springer
15 years 5 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
100
Voted
CPHYSICS
2006
14 years 11 months ago
2006
This article introduces a tool for data fitting that is based on genetic programming and especially on the grammatical evolution technique. The user needs to input a series of poi...
PLISP
1989
15 years 3 months ago
1989
Speculative computing is a technique to improve the execution time of certain applications by starting some computations before it is known that the computations are required. A s...