1145 search results - page 106 / 229 » The Correctness of an Optimized Code Generation |
105
Voted
IADIS
2004
15 years 5 months ago
2004
In this paper, we propose an open framework for teachers and lecturers in science, to help them write their pedagogical documents with both static textual parts, and interactive a...
144
click to vote
PR
1998
15 years 4 months ago
1998
This paper describes a method for optimizing the cost matrix of any approximate string matching algorithm based on the Levenshtein distance. The method, which uses genetic algorit...
178
click to vote
PLDI
1997
ACM
15 years 8 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...
155
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
127
click to vote
ASPLOS
2004
ACM
15 years 10 months ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...