3872 search results - page 594 / 775 » The Java memory model |
118
click to vote
LATIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
111
click to vote
PATMOS
2004
Springer
15 years 7 months ago
2004
Springer
This paper investigates the Signal-to-Noise Ratio (SNR) performance of the Logarithmic Number System (LNS) representation against the SNR performance of the fixed-point representa...
107
click to vote
SAT
2004
Springer
15 years 7 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
ARITH
2003
IEEE
15 years 7 months ago
2003
IEEE
This work uses a partially redundant number system as an internal format for floating point arithmetic operations. The redundant number system enables carry free arithmetic opera...
136
Voted
CA
2003
IEEE
15 years 7 months ago
2003
IEEE
We present a system for the automatic generation of bottom-up visual attention behaviours in virtual humans. Bottom-up attention refers to the way in which the environment solicit...