2643 search results - page 125 / 529 » Higher order messaging |
122
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
142
click to vote
JSAC
2010
15 years 2 months ago
2010
—The advent of practical rateless codes enables implementation of highly efficient packet-level forward error correction (FEC) strategies for reliable data broadcasting in loss-...
173
click to vote
CORR
2012
Springer
14 years 6 days ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
122
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Recent research has found that forced interruptions at points of higher mental workload are more disruptive than at points of lower workload. This paper investigates a complementa...
137
click to vote
WDAG
2005
Springer
15 years 10 months ago
2005
Springer
Atomic Broadcast, used for example in state machine replication, requires three communication steps. Optimistic Atomic Broadcast requires only two steps if all processes receive m...