4722 search results - page 176 / 945 » Encoding Program Executions |
147
click to vote
DYNAMO
2000
15 years 6 months ago
2000
Feedback-directed optimization (FDO) is a general term used to describe any technique that alters a program's execution based on tendencies observed in its present or past ru...
127
click to vote
WSC
2000
15 years 6 months ago
2000
This paper discusses a Web-based simulation manager program that executes an Application Service Provider (ASP) event for a customer who does not possess the inhouse capability to...
141
click to vote
AAECC
1999
Springer
15 years 4 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
150
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
132
click to vote
AHS
2006
IEEE
15 years 11 months ago
2006
IEEE
The application of evolutionary techniques to the design of custom processing elements bears a strong relation to the natural process that led to the co-evolution of cells and gen...