4722 search results - page 284 / 945 » Representation-independent program analysis |
179
click to vote
CF
2009
ACM
16 years 1 months ago
2009
ACM
There is a trend towards using accelerators to increase performance and energy efficiency of general-purpose processors. Adoption of accelerators, however, depends on the availabi...
163
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 26 days ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
158
click to vote
CEC
2005
IEEE
16 years 5 days ago
2005
IEEE
The most controversial part of genetic programming is its highly disruptive and potentially innovative subtree crossover operator. The clearest problem with the crossover operator...
145
click to vote
IPPS
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
171
click to vote
GI
2005
Springer
16 years 2 days ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...