2296 search results - page 163 / 460 » The Expressive Power of Synchronizations |
175
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Elastic systems, either synchronous or asynchronous, can be optimized for the average-case performance when they have units with early evaluation or variable latency. The performan...
174
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
211
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
154
click to vote
SIBGRAPI
2008
IEEE
16 years 27 days ago
2008
IEEE
We present a crude registration algorithm for two partially overlapping range images acquired from a rigid object. Our proposal is characterized by two novel features: drastic dat...
190
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...