1760 search results - page 62 / 352 » A System to Mark Programs Automatically |
103
click to vote
LOPSTR
2004
Springer
15 years 5 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
BIRTHDAY
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
130
click to vote
TVLSI
2010
14 years 6 months ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we compare the performance of hierarchical GP methods (Automatically Defined Functions, Module Acquisition, Adaptive Representation through Learning) with the canon...
WORDS
2002
IEEE
15 years 4 months ago
2002
IEEE
Commercial off-the-shelf (COTS) middleware increasingly offers not only functional support for standard interfaces, but also the ability to optimize their resource consumption pat...