2642 search results - page 245 / 529 » Merge-by-Wire: Algorithms and System Support |
138
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
135
Voted
IEEESCC
2007
IEEE
15 years 11 months ago
2007
IEEE
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software sy...
124
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
We introduce layer operations for single-view 3D deformable object manipulation, in which the user can control the depth order of layered 3D objects resting on a flat ground with...
169
Voted
FOSSACS
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
118
Voted
DAGSTUHL
1994
15 years 5 months ago
1994
Functionality-based recognition systems recognize objects at the category level by reasoning about how well the objects support the expected function. Such systems naturally assoc...