20126 search results - page 3398 / 4026 » Timed Transition Systems |
189
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
We study the fifo and causal multicast problem, two group-communication abstractions that deliver messages in an order consistent with their context. With fifo multicast, the co...
374
click to vote
ICPR
2010
IEEE
16 years 2 months ago
2010
IEEE
This paper deals with feature matching and segmentation of common objects in a pair of images, simultaneously. For the feature matching problem, the matching likelihoods of all fea...
190
click to vote
TEI
2010
ACM
16 years 2 months ago
2010
ACM
Since commercial musical recordings became available about a century ago and until very recently, they had always been distributed by means of a physical support. Nowadays that re...
226
click to vote
ASM
2010
ASM
16 years 2 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
161
click to vote
CC
2010
Springer
16 years 2 months ago
2010
Springer
Compilers use register coalescing to avoid generating code for copy instructions. For architectures with register aliasing such as x86, Smith, Ramsey, and Holloway (2004) presented...