5964 search results - page 358 / 1193 » A theory of speculative computation |
174
click to vote
FOCS
2005
IEEE
16 years 1 months ago
2005
IEEE
We establish a new connection between the two most common traditions in the theory of real computation, the Blum-Shub-Smale model and the Computable Analysis approach. We then use...
328
click to vote
Book
"This is an excellent reference book. The author has done a great job in at least three directions. First, he expertly, systematically and with ever-present authority guides t...
322
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
190
Voted
GRC
2005
IEEE
16 years 1 months ago
2005
IEEE
An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. We compare the new approach with our previous nonincremental a...
191
Voted
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Agents often want to protect private information, while at the same acting upon the information. These two desires are in conflict, and this conflict can be modeled in strategic...