4666 search results - page 687 / 934 » Equations on Timed Languages |
131
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...
164
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...
169
click to vote
ICCS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
160
click to vote
ICESS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
141
click to vote
INTETAIN
2005
Springer
16 years 6 days ago
2005
Springer
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...