899 search results - page 148 / 180 » Cost Analysis of Games, Using Program Logic |
130
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
116
click to vote
CF
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
171
click to vote
COOPIS
1998
IEEE
15 years 5 months ago
1998
IEEE
Cooperative Information Systems (CIS) often consist of applications that access shared resources such as databases. Since centralized systems may have a great impact on the system...
119
click to vote
JSS
2006
15 years 1 months ago
2006
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...
121
click to vote
LFP
1992
15 years 2 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...