Sciweavers

5012 search results - page 94 / 1003
» Distributed Error Correction
Sort
View
ICC
2007
IEEE
125views Communications» more  ICC 2007»
15 years 11 months ago
On Bit Error Robustness of Trellis Source Codes
— Trellis codes based on linear congruential recursions have recently been introduced as powerful source codes. For a modest computational complexity they offer excellent rate di...
Tomas Eriksson, Norbert Goertz
115
Voted
ESOP
2003
Springer
15 years 10 months ago
Type Error Slicing in Implicitly Typed Higher-Order Languages
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
Christian Haack, J. B. Wells
CHI
2001
ACM
16 years 5 months ago
Locus of feedback control in computer-based tutoring: impact on learning rate, achievement and attitudes
The advent of second-generation intelligent computer tutors raises an important instructional design question: when should tutorial advice be presented in problem solving? This pa...
Albert T. Corbett, John R. Anderson
148
Voted
COORDINATION
2005
Springer
15 years 10 months ago
A Correct Abstract Machine for Safe Ambients
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
142
Voted
VLDB
1989
ACM
44views Database» more  VLDB 1989»
15 years 8 months ago
Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase
In this paper, we introduce Quasi Serializability, a correctness criterion for concurrency control in heterogeneous distributed database environments. A global history is quasi se...
Weimin Du, Ahmed K. Elmagarmid