2642 search results - page 358 / 529 » Merge-by-Wire: Algorithms and System Support |
124
Voted
SOSP
2003
ACM
16 years 18 days ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
131
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
151
Voted
JFP
2007
15 years 3 months ago
2007
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...
140
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Image matching is an essential task in many computer vision applications. It is obvious that thorough utilization of all available information is critical for the success of match...
152
Voted
SPAA
2009
ACM
15 years 10 months ago
2009
ACM
We consider bit communication complexity of binary consensus in synchronous message passing systems with processes prone to crashes. A distributed algorithm is locally scalable wh...