3707 search results - page 551 / 742 » A Simple Technique for Self-Calibration |
283
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
173
click to vote
CIKM
1999
Springer
15 years 11 months ago
1999
Springer
Statistical language modeling has been successfully used for speech recognition, part-of-speech tagging, and syntactic parsing. Recently, it has also been applied to information r...
190
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debu...
170
click to vote
IWCC
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we present techniques and algorithms to improve the performance of various communication patterns on message-passing platforms where, for reasons of safety, user-le...
176
click to vote
MICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Recent studies on value locality reveal that many instructions are frequently executed with a small variety of inputs. This paper proposes an approach that integrates architecture...