TRAnD: temporal requirement analysis and design tool

Authors:
M. P. Bodlaender;A. H. L. Raemaekers;P. D. V. van der Stok
Affiliations:
Philips research, Prof Holstlaan 4, NL - 5656 AA Eindhoven;Eindhoven University of Technology, P.O Box 513, NL - 5600 MB Eindhoven;Eindhoven University of Technology, P.O Box 513, NL - 5600 MB Eindhoven
Venue:
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Year:
2000

Citing 7
Cited 0

Dynamic priority ceilings: a concurrency control protocol for real-time systems

Real-Time Systems
Unified theory of database serializability

Fundamenta Informaticae
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
The serializability of concurrent database updates

Journal of the ACM (JACM)
Priority Inheritance Protocols: An Approach to Real-Time Synchronization

IEEE Transactions on Computers
Supporting predictability in real-time database systems

RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
A Transaction-Based Temporal Data Model for Real-Time Databases

WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)

Quantified Score

Hi-index	0.00

Visualization

Abstract