TY - GEN
T1 - Building real-time imprecise computations in Ada
AU - Gregory, Gary J.
AU - Lin, Kwei Jay
PY - 1990
Y1 - 1990
N2 - The model of imprecise computation is an effective way to structure programs that must always meet deadlines in real-time systems. Under severe time constraints, an imprecise computation may return an imprecise, though correct value. In this way, timing faults can be avoided. In this paper, we describe two implementations of an imprecise computation package in Ada. We have also studied their performance differences under different system and programming environments. Finally, we present our experience in implementing real-time applications using Ada.
AB - The model of imprecise computation is an effective way to structure programs that must always meet deadlines in real-time systems. Under severe time constraints, an imprecise computation may return an imprecise, though correct value. In this way, timing faults can be avoided. In this paper, we describe two implementations of an imprecise computation package in Ada. We have also studied their performance differences under different system and programming environments. Finally, we present our experience in implementing real-time applications using Ada.
UR - http://www.scopus.com/inward/record.url?scp=84896324282&partnerID=8YFLogxK
U2 - 10.1145/255471.255567
DO - 10.1145/255471.255567
M3 - 会议稿件
AN - SCOPUS:84896324282
SN - 0897914090
SN - 9780897914093
T3 - Proceedings of the Conference on TRI-ADA 1990
SP - 409
EP - 421
BT - Proceedings of the Conference on TRI-ADA 1990
PB - Association for Computing Machinery
T2 - Conference on TRI-ADA 1990
Y2 - 3 December 1990 through 6 December 1990
ER -