452 search results - page 36 / 91 » Symbolic Execution of Behavioral Requirements |
110
Voted
IPPS
1996
IEEE
15 years 4 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
124
Voted
CADE
2010
Springer
15 years 1 months 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...
143
click to vote
GPCE
2007
Springer
15 years 7 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 ...
121
click to vote
CPHYSICS
2006
15 years 23 days 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...
93
Voted
PLISP
1989
15 years 4 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...