Discrete Loops and Worst Case Performance (1994)

Cached

Download Links

by Johann Blieberger
Venue:Computer Languages
Citations:17 - 7 self

Active Bibliography

Loops for Safety Critical Applications – Johann Blieberger
10 Worst-Case Space and Time Complexity of Recursive Procedures – Johann Blieberger, Roland Lieger
12 Data-Flow Frameworks for Worst-Case Execution Time Analysis – Johann Blieberger - 2000
7 Real-Time Properties of Indirect Recursive Porcedures – Johann Blieberger - 1996
828 The Symbol Grounding Problem – Stevan Harnad - 1990
539 Topology Control of Multihop Wireless Networks using Transmit Power Adjustment – Ram Ramanathan , Regina Rosales-hain - 2000
1216 Factor Graphs and the Sum-Product Algorithm – Frank R. Kschischang, Brendan J. Frey, Hans-Andrea Loeliger - 1998
1156 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990