899 search results - page 96 / 180 » Cost Analysis of Games, Using Program Logic |
204
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
112
click to vote
IWMM
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
CP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
PVM
2004
Springer
15 years 5 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
100
click to vote
SIGCSE
2009
ACM
16 years 14 days ago
2009
ACM
Computer science educators are uniquely positioned to promote greater awareness of Green Computing, using the academic setting to encourage environmentally conscious use of techno...