336 search results - page 41 / 68 » Program Speedups in Theory and Practice |
106
click to vote
FOIKS
2004
Springer
15 years 5 months ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
117
click to vote
IFIP
1999
Springer
15 years 4 months ago
1999
Springer
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
108
click to vote
PLDI
1997
ACM
15 years 4 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
91
Voted
ICDCSW
2000
IEEE
15 years 4 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
105
Voted
APLAS
2010
ACM
15 years 22 days ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...