4722 search results - page 174 / 945 » Encoding Program Executions |
130
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
141
click to vote
ILP
2003
Springer
15 years 10 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
136
click to vote
APL
1995
ACM
15 years 8 months ago
1995
ACM
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
105
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a method for fine grain QoS control of dataflow applications. We assume that the application software is described as the composition of actions (C-functions) with qu...
147
click to vote
ATAL
2001
Springer
15 years 9 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...