Sciweavers

2024 search results - page 229 / 405
» The Meaning of Ordered SOS
Sort
View
SOCO
2007
Springer
16 years 25 days ago
Patterns of Component Evolution
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
Rajesh Vasa, Markus Lumpe, Jean-Guy Schneider
TARK
2007
Springer
16 years 25 days ago
Vote manipulation in the presence of multiple sincere ballots
A classical result in voting theory, the Gibbard-Satterthwaite Theorem, states that for any non-dictatorial voting rule for choosing between three or more candidates, there will b...
Ulle Endriss
3DPVT
2006
IEEE
156views Visualization» more  3DPVT 2006»
16 years 24 days ago
Visual Hull Construction in the Presence of Partial Occlusion
In this paper, we propose a visual hull algorithm, which guarantees a correct construction even in the presence of partial occlusion, while “correct” here means that the real ...
Li Guan, Sudipta N. Sinha, Jean-Sébastien F...
CODES
2006
IEEE
16 years 23 days ago
Bounded arbitration algorithm for QoS-supported on-chip communication
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...
Mohammad Abdullah Al Faruque, Gereon Weiss, Jö...
DATE
2006
IEEE
87views Hardware» more  DATE 2006»
16 years 23 days ago
Supporting task migration in multi-processor systems-on-chip: a feasibility study
With the advent of multi-processor systems-on-chip, the interest in process migration is again on the rise both in research and in product development. New challenges associated w...
Stefano Bertozzi, Andrea Acquaviva, Davide Bertozz...