118 search results - page 19 / 24 » Implementation of State Elimination Using Heuristics |
ASPDAC
2000
ACM
15 years 4 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
120
click to vote
AAAI
2007
15 years 2 months ago
2007
We present in this paper a hybrid planning system which combines constraint satisfaction techniques and planning heuristics to produce optimal sequential plans. It integrates its ...
ADHOC
2010
14 years 12 months ago
2010
The Optimized Link State Routing (OLSR) protocol is a well-known route discovery protocol for ad-hoc networks. OLSR optimizes the flooding of link state information through the ne...
109
click to vote
VISUALIZATION
2005
IEEE
15 years 5 months ago
2005
IEEE
Existing parallel or remote rendering solutions rely on communicating pixels, OpenGL commands, scene-graph changes or application-specific data. We propose an intermediate soluti...
112
click to vote
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...