4666 search results - page 687 / 934 » Equations on Timed Languages |
110
Voted
ICALP
2005
Springer
15 years 10 months 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...
127
click to vote
ICALP
2005
Springer
15 years 10 months 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...
129
click to vote
ICCS
2005
Springer
15 years 10 months 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...
131
click to vote
ICESS
2005
Springer
15 years 10 months 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...
110
click to vote
INTETAIN
2005
Springer
15 years 10 months 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...