SCOPUS 정보 검색 플랫폼

Real-Time Systems

Volumn 5, Issue 1, 1993, Pages 63-87

RTC: Language support for real-time concurrency

(3) Wolfe, Victor Fay a Davidson, Susan b Lee, Insup b

a UNIVERSITY OF RHODE ISLAND (United States)

b UNIVERSITY OF PENNSYLVANIA (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS;

DISTRIBUTED REAL-TIME PROGRAMS; DISTRIBUTED TRANSACTION-BASED PARADIGM; LANGUAGE CONSTRUCTS; REAL-TIME CONCURRENCY; TIMING CONSTRAINTS;

REAL TIME SYSTEMS;

EID: 0027559831 PISSN: 09226443 EISSN: 15731383 Source Type: Journal
DOI: 10.1007/BF01088697 Document Type: Article

Times cited : (5)

References (33)

1
- 84934492459
- Abbott, R. and Garcia-Molina, H. 1988. Scheduling real-time transactions: A performance evaluation. In Proc. of the 14th Very Large Database Conference, August.

2
- 0003567016
- Addison-Wesley, Reading, MA
- (1986) Concurrency Control and Recovery in Database Systems
- Bernstein, P.¹ Hadzilacos, V.² Goodman, N.³

3
- 84934492458
- Berry, G., Moisan, S. and Rigault, J. 1983. ESTEREL: Towards a synchronous and semantically sound high level language for real-tine applications. In Proc. of the IEEE Real-Time Systems Symposium, December.

4
- 84934492463
- Baker, T. and Pazy, O. 1991. Real-time features for Ada 9x. In Proc. of the IEEE Real-Time Systems Symposium, December.

5
- 84871760604
- Overview of the IEEE POSIX P1003.4 real-time extension to POSIX
- (1990) Proc. of the IEEE Real-Time Systems Newsletter , vol.6 , Issue.1 , pp. 9-18
- Corwin, W.¹ Locke, D.² Gordon, K.³

6
- 84934492461
- Davidson, S., Lee, I. and Wolfe, V. 1992. Deadlock prevention in concurrent real-time systems. Submitted to Real-Time Systems, 1992.

7
- 84934492466
- Funda, J. 1991. Teleprogramming: Overcoming communication delays in remote manipulation. Ph.D. thesis, Department of Computer and Information Science, University of Pennsylvania.

8
- 0020766588
- Using semantic knowledge for transaction processing in a distributed database system
- (1983) ACM Transactions on Database Systems , vol.8 , Issue.2 , pp. 186-213
- Garcia-Molina, H.¹

9
- 84934492464
- Gheith, A. and Schwan, K. 1989. Chaosart: Support for real-time atomic transactions. In Proc. of the Nineteenth International Symposium on Fault-Tolerant Computing, pp. 462–469, June.

10
- 0008901255
- Comparative evaluation of high level real-time programming languages
- (1990) Real-Time Systems , vol.2 , pp. 365-382
- Halang, W.¹ Stoyenko, A.²

11
- 84934492426
- Huang, J., Stankovic, J., Towsley, D. and Ramamritham, K. 1991. Experimental evaluation of real-time optimistic concurrency control schemes. In Proc. of the 17th Very Large Database Conference, April.

12
- 84934492437
- Ishikawa, Y., Tokuda, H. and Mercer, C. 1990. Object-oriented real-time language design: Constructs for timing constraints. Technical Report CMU-CS-90-111, Carnegie Mellon University, March 1990.

13
- 84934492435
- Carey, M., Harista, J. and Livny, M. 1990. Dynamic optimistic concurrency control. In Proc. of the IEEE Real-Time Systems Symposium, December.

14
- 84934492433
- King, R., 1991. Design, Implementation, and Evaluation of a Real-Time Kernel for Distributed Robotics. Ph.D. thesis, Department of Computer and Information Science, University of Pennsylvania.

15
- 0023563401
- Deadlock detection in distributed databases
- (1987) ACM Computing Surveys , vol.19 , Issue.4 , pp. 304-328
- Knapp, E.¹

16
- 84934492431
- Korth, H. 1990. Triggered real-time databases. In Proc. of the 16th Very Large Database Conference, August.

17
- 34250837567
- Real-time Euclid: A language for reliable real-time systems
- (1986) IEEE Transactions on Software Engineering , vol.12 SE , Issue.9 , pp. 941-949
- Klingerman, E.¹ Stoyenko, A.²

18
- 84934492444
- Kim, W. and Srvastava, J. 1991. Enhancing real-time DMBS performance with multiversion data and priority-based disk scheduling. In Proc. of the IEEE Real-Time Systems Symposium, December.

19
- 84934492443
- Lee, I. and Gehlot, V. 1985. Language constructs for distributed real-time programming. In Proc. of the IEEE Real-Time Systems Symposium, December.

20
- 84934492440
- Lin, K. 1989. Consistency issues in real-time database systems. In Proc. of the 22nd Hawaii International Conference on System Science, January.

21
- 0023981495
- Distributed programming in Argus
- (1988) Communications of the ACM , vol.31 , Issue.3 , pp. 300-312
- Liskov, B.¹

22
- 84934492438
- Lin, K. and Natarajan, S. 1988. Expressing and maintaining timing constraints in FLEX. In Proc. of the IEEE Real-Time Systems Symposium, pp. 96–105, December.

23
- 84934492445
- Lin, Y. and Son, S. 1990. Concurrency control in real-time databases by dynamic adjustment of serialization order. In Proc. of the IEEE Real-Time Systems Symposium, December 1990.

24
- 0020900969
- Multilevel concurrency—a new correctness criterion for database concurrency control
- (1983) ACM Transactions on Database Systems , vol.8 , Issue.4 , pp. 484-502
- Lynch, N.¹

25
- 0004062181
- MIT Press, Cambride, MA
- (1985) Nested Transactions, An Approach to Reliable Distributed Computing
- Moss, E.¹

26
- 84934489116
- Nirkhe, V., Tripathi, S. and Agrawala, A. 1990. Language support for the Maruti real-time system. In Proc. of the IEEE Real-Time Systems Symposium, pp. 257–266, December.

27
- 84934489114
- Rajkumar, R. 1989. Task Synchronization in real-time systems. Ph.D. thesis, Carnegie Mellon University, 1989.

28
- 84934489126
- Stoyenko, A. and Marlow, T. 1992. Polynomial time transformations and schedulability analysis of parallel real-time programs with restricted resource contention. To appear in Real-Time Systems, 4(4), 1992.

29
- 0024700266
- The Spring kernel: A new paradigm for real-time operating systems
- (1989) ACM Operating Systems Review , vol.23 , Issue.3 , pp. 54-71
- Stankovic, J.¹ Ramaitham, K.²

30
- 0026188275
- A real-time locking protocol
- (1991) IEEE Transactions on Computers , vol.40 , Issue.7 , pp. 793-800
- Sha, L.¹ Rajkumar, R.² Son, S.³ Chang, C.⁴

31
- 84934489123
- Tokuda, H. 1985. Compensatable atomic objects in object-oriented operating systems. In Proc. of the Pacific Computer Communication Symposium, October.

32
- 0024136623
- Commutativity-based concurrency control for abstract data types
- (1988) IEEE Transactions on Computers , vol.37 , Issue.12 , pp. 1488-1505
- Weihl, W.¹

33
- 84934489121
- Wolfe, V. 1991. Supporting Real-Time Concurrency. Ph.D. thesis, Department of Computer and Information Science, University of Pennsylvania, 1991. Technical Report MS-CIS-91-55.

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.