899 search results - page 162 / 180 » Cost Analysis of Games, Using Program Logic |
131
click to vote
LPAR
2001
Springer
15 years 5 months ago
2001
Springer
Several logic-based languages, such as Prolog II and its successors, SICStus Prolog and Oz, offer a computation domain including rational trees. Infinite rational trees allow fo...
116
click to vote
HPCA
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper explores area/parallelism tradeo s in the design of distributed shared-memory (DSM) multiprocessors built out of large single-chip computing nodes. In this context, are...
109
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Extending network lifetime of battery-operated devices is a key design issue that allows uninterrupted information exchange among distributive nodes in wireless sensor ...
153
click to vote
ICNP
2002
IEEE
15 years 6 months ago
2002
IEEE
— This paper describes a novel, ultra-fast heuristic algorithm to address an NP-hard optimization problem. One of its significances is that, for the first time, the paper shows...
180
click to vote
TMC
2012
13 years 3 months ago
2012
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...