899 search results - page 40 / 180 » Cost Analysis of Games, Using Program Logic |
CEC
2010
IEEE
15 years 27 days ago
2010
IEEE
In modern racing games programming non-player characters with believable and sophisticated behaviors is getting increasingly challenging. Recently, several works in the literature ...
112
click to vote
CIKM
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we propose a new strategy for optimizing the placement of bin boundaries to minimize the cost of query evaluation using bitmap indices with binning. For attributes ...
ICFP
2010
ACM
15 years 26 days ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
SIGSOFT
2003
ACM
16 years 16 days ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
102
click to vote
DAC
1997
ACM
15 years 4 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...