1559 search results - page 44 / 312 » The Semantics of Future and Its Use in Program Optimizations |
STOC
2001
ACM
15 years 10 months ago
2001
ACM
Optimal program slicing determines for a statement S in a program whether or not S affects a specified set of statements, given that all conditionals in are interpreted as non-d...
100
click to vote
EUROGP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. To analyse various properties of the search process of genetic programming it is useful to quantify the distance between two individuals. Using operator-based distance me...
104
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— Recent advances in the field of humanoid robotics increase the complexity of the tasks that such robots can perform. This makes it increasingly difficult and inconvenient to ...
CIDR
2007
14 years 11 months ago
2007
This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of it...
SEFM
2006
IEEE
15 years 3 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...