3825 search results - page 518 / 765 » The Language of Time: A Reader |
232
click to vote
DEXA
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...
146
click to vote
ICALP
2005
Springer
16 years 24 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...
183
click to vote
ICALP
2005
Springer
16 years 24 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...
191
click to vote
ICCS
2005
Springer
16 years 23 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...
190
click to vote
ICESS
2005
Springer
16 years 23 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...