16504 search results - page 3146 / 3301 » New Problems, New Solutions |
217
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
Search-based graph queries, such as finding short paths and isomorphic subgraphs, are dominated by memory latency. If input graphs can be partitioned appropriately, large cluster...
154
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
The growing complexity of modern processors has made the development of highly efficient code increasingly difficult. Manually developing highly efficient code is usually expen...
166
click to vote
QEST
2007
IEEE
16 years 25 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
219
click to vote
SASO
2007
IEEE
16 years 25 days ago
2007
IEEE
Information systems form the backbones of the critical infrastructures of modern societies. Unfortunately, these systems are highly vulnerable to attacks that can result in enormo...
147
click to vote
AIIA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...