19 search results - page 2 / 4 » Lightweight predication support for out of order processors |
POPL
2007
ACM
14 years 5 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
VLDB
1992
ACM
13 years 9 months ago
1992
ACM
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...
CLUSTER
2010
IEEE
12 years 9 months ago
2010
IEEE
Many-task computing aims to bridge the gap between two computing paradigms, high throughput computing and high performance computing. Many-task computing denotes highperformance co...
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
PUC
2006
13 years 5 months ago
2006
This paper reports design requirements derived from an ethnographic fieldwork on road inspectors, the design of a mobile service supporting infrastructure management, and initial u...