2643 search results - page 126 / 529 » Higher order messaging |
119
click to vote
WDAG
2000
Springer
15 years 8 months ago
2000
Springer
Weconsider the problemof generic broadcast in asynchronous systems with crashes, a problem that was rst studied in 12]. Roughly speaking, given a \con ict" relation on the set...
154
click to vote
LISP
2006
15 years 4 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
120
click to vote
ENTCS
2007
15 years 4 months ago
2007
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, no...
206
click to vote
JMLR
2012
13 years 7 months ago
2012
Models such as pairwise conditional random fields (CRFs) are extremely popular in computer vision and various other machine learning disciplines. However, they have limited expre...
108
click to vote
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...