769 search results - page 70 / 154 » A Machine Model for Aspect-Oriented Programming |
221
Voted
CC
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
128
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Bid-based Genetic Programming (GP) provides an elegant mechanism for facilitating cooperative problem decomposition without an a priori specification of the number of team member...
138
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Energy-efficient computing is important in several systems ranging from embedded devices to large scale data centers. Several application domains offer the opportunity to tradeof...
144
Voted
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
145
click to vote
JAVA
2000
Springer
15 years 7 months ago
2000
Springer
We describe a new approach to object replication in Java, aimed at improving the performance of parallel programs. Our programming model allows the programmer to define groups of ...