5012 search results - page 378 / 1003 » Distributed Error Correction |
160
click to vote
COORDINATION
2005
Springer
16 years 7 days ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
169
click to vote
PODC
2003
ACM
15 years 12 months ago
2003
ACM
We present a methodology for automatic discovery of synchronization algorithms. We built a tool and used it to automatically discover hundreds of new algorithms for the well-known ...
187
click to vote
ACPC
1999
Springer
15 years 11 months ago
1999
Springer
For lighting simulations in architecture there is the need for correct illumination calculation of virtual scenes. The Radiance Synthetic Imaging System delivers an excellent solut...
161
click to vote
IEEEPACT
1998
IEEE
15 years 11 months ago
1998
IEEE
Method speculation of object-oriented programs attempts to exploit method-level parallelism (MLP) by executing sequential method invocations in parallel, while still maintaining c...
151
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...