899 search results - page 29 / 180 » Cost Analysis of Games, Using Program Logic |
100
click to vote
IEEEPACT
1999
IEEE
15 years 4 months ago
1999
IEEE
In current superscalar processors, all floating-point resources are idle during the execution of integer programs. As previous works show, this problem can be alleviated if the fl...
EUROPAR
2009
Springer
15 years 6 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
120
click to vote
CADE
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
ICDAR
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we propose a novel approach to the detection of on-line handwritten text lines based on dynamic programming. We try to find the paths with the minimum cost between ...
SETP
2008
15 years 1 months ago
2008
Software cost estimation is known to be a challenging task at best, and these challenges are increased for programmers operating outside the support of an established team program...