4716 search results - page 559 / 944 » Iterative-free program analysis |
128
click to vote
DIGRA
2003
Springer
16 years 4 hour ago
2003
Springer
This essay explores aspects of the history of wargaming in order to develop fresh perspectives on the analysis of contemporary computer games. Wargaming is considered in relation ...
179
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
189
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
The release of general purpose GPU programming environments has garnered universal access to computing performance that was once only available to super-computers. The availability...
168
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...
145
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
A major challenge in effective active ageing support is to identify/design new organizational structures, approaches, and mechanisms so that on one hand older people do not feel ex...