1. Home
  2. Proceedings
  3. REAL
  4. REAL 1993
Default Cover Image

1993 Proceedings Real-Time Systems Symposium

Dec. 1 1993 to Dec. 3 1993

Raleigh Durham, NC, USA

Table of Contents

A new Petri net based formalism for specification, design and analysis of real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 294,295,296,297,298,299,300,301
by G. Bruno, A. Castella, I. Pavesio, M.P. Pescarmona
Specification and verification of a distributed real-time arbitration protocolFull-text access may be available. Sign in or learn about subscription options.pp. 284,285,286,287,288,289,290,291,292,293
by J. Hooman
RTSL: a language for real-time schedulability analysisFull-text access may be available. Sign in or learn about subscription options.pp. 274,275,276,277,278,279,280,281,282,283
by A.N. Fredette, R. Cleaveland
Really visual temporal reasoningFull-text access may be available. Sign in or learn about subscription options.pp. 262,263,264,265,266,267,268,269,270,271,272,273
by Y.S. Ramakrishna, P.M. Melliar-Smith, L.E. Moser, L.K. Dillon, G. Kutty
Real-time issues in computer musicFull-text access may be available. Sign in or learn about subscription options.pp. 258,259,260
by R.B. Dannenberg, D.H. Jameson
The use of preemptive priority-based scheduling for space applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 253,254,255,256,257
by C.M. Bailey, E. Fyfe, T. Vardanega, A.J. Wellings
Highly multi-tasking real-time systems and their evaluationFull-text access may be available. Sign in or learn about subscription options.pp. 249,250,251,252
by T. Soneoka, A. Oizumi, K. Suda
Validation of design for space launch vehiclesFull-text access may be available. Sign in or learn about subscription options.pp. 244,245,246,247,248
by B.J. Jambor, G.W. Eger, S.D. Layton
Semantics-based compiler transformations for enhanced schedulabilityFull-text access may be available. Sign in or learn about subscription options.pp. 232,233,234,235,236,237,238,239,240,241,242
by R. Gerber, S. Hong
Scheduling slack time in fixed priority pre-emptive systemsFull-text access may be available. Sign in or learn about subscription options.pp. 222,223,224,225,226,227,228,229,230,231
by R.I. Davis, K.W. Tindell, A. Burns
Accounting for interrupt handling costs in dynamic priority task systemsFull-text access may be available. Sign in or learn about subscription options.pp. 212,213,214,215,216,217,218,219,220,221
by K. Jeffay, D. Stone
Reliability of event-triggered task activation for hard real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 206,207,208,209,210
by S. Poledna
HARTIK: A real-time kernel for robotics applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 201,202,203,204,205
by G.C. Buttazzo
Scheduling and communication in MetaHFull-text access may be available. Sign in or learn about subscription options.pp. 194,195,196,197,198,199,200
by S. Vestal, P. Binns
Implementation of a synchronous execution machine on Chorus micro-kernelFull-text access may be available. Sign in or learn about subscription options.pp. 189,190,191,192,193
by R. Bernhard, L. Hazard, F. Horn, J.-B. Stefani
PERTS: A prototyping environment for real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 184,185,186,187,188
by J.W.S. Liu, J.L. Redondo, Z. Deng, T.S. Tia, R. Bettati, A. Silberman, M. Storch, R. Ha, W.K. Shih
MOCA: A multiprocessor on-line competitive algorithm for real-time system schedulingFull-text access may be available. Sign in or learn about subscription options.pp. 172,173,174,175,176,177,178,179,180,181
by G. Koren, D. Shasha, S.-C. Huang
On-line scheduling of hard deadline aperiodic tasks in fixed-priority systemsFull-text access may be available. Sign in or learn about subscription options.pp. 160,161,162,163,164,165,166,167,168,169,170,171
by S. Ramos-Thuel, J.P. Lehoczky
Queuing spin lock algorithms to support timing predictabilityFull-text access may be available. Sign in or learn about subscription options.pp. 148,149,150,151,152,153,154,155,156,157
by T.S. Craig
Architectural considerations in the design of real-time kernelsFull-text access may be available. Sign in or learn about subscription options.pp. 138,139,140,141,142,143,144,145,146,147
by S.L.A. Lo, N.C. Hutchinson, S.T. Chanson
The non-blocking write protocol NBW: A solution to a real-time synchronization problemFull-text access may be available. Sign in or learn about subscription options.pp. 131,132,133,134,135,136,137
by H. Kopetz, J. Reisinger
Integrated management of priority inversion in Real-Time MachFull-text access may be available. Sign in or learn about subscription options.pp. 120,121,122,123,124,125,126,127,128,129,130
by T. Nakajima, T. Kitayama, H. Arakawa, H. Tokuda
Acquisition and service of temporal data for real-time plant monitoringFull-text access may be available. Sign in or learn about subscription options.pp. 112,113,114,115,116,117,118
by H. Shimakawa, H. Ohnishi, I. Mizunuma, M. Takegaki
The Spring scheduling co-processor: Design, use, and performanceFull-text access may be available. Sign in or learn about subscription options.pp. 106,107,108,109,110,111
by D. Niehaus, K. Ramamritham, J.A. Stankovic, G. Wallace, C. Weems, W. Burleson, J. Ko
A dual-mode instruction prefetch scheme for improved worst case and average case program execution timesFull-text access may be available. Sign in or learn about subscription options.pp. 98,99,100,101,102,103,104,105
by M. Lee, S.L. Min, C.Y. Park, Y.H. Bae, H. Shin, C.S. Kim
Object-based semantic real-time concurrency controlFull-text access may be available. Sign in or learn about subscription options.pp. 87,88,89,90,91,92,93,94,95,96
by L.B.C. DiPippo, V.F. Wolfe
SSP: A semantics-based protocol for real-time data accessFull-text access may be available. Sign in or learn about subscription options.pp. 76,77,78,79,80,81,82,83,84,85,86
by T.-W. Kuo, A.K. Mok
Using dynamic adjustment of serialization order for real-time database systemsFull-text access may be available. Sign in or learn about subscription options.pp. 66,67,68,69,70,71,72,73,74,75
by J. Lee, S.H. Son
How to get serializability for real-time transactions without having to pay for itFull-text access may be available. Sign in or learn about subscription options.pp. 56,57,58,59,60,61,62,63,64,65
by M.H. Graham
A bandwidth allocation scheme for time constrained message transmission on a slotted ring LANFull-text access may be available. Sign in or learn about subscription options.pp. 44,45,46,47,48,49,50,51,52,53
by S. Mukherjee, D. Saha, M.C. Saksena, S.K. Tripathi
Performance evaluation of a bandwidth allocation scheme for guaranteeing synchronous messages with arbitrary deadlines in an FDDI networkFull-text access may be available. Sign in or learn about subscription options.pp. 34,35,36,37,38,39,40,41,42,43
by S. Kamat, N. Malcolm, W. Zhao
Symbolic model checking for event-driven real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 23,24,25,26,27,28,29,30,31,32
by J. Yang, A. Mok, F. Wang
MT: A toolset for specifying and analyzing real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 12,13,14,15,16,17,18,19,20,21,22
by P.C. Clements, C.L. Heitmeyer, B.G. Labaw, A.T. Rose
Automatic symbolic verification of embedded systemsFull-text access may be available. Sign in or learn about subscription options.pp. 2,3,4,5,6,7,8,9,10,11
by R. Alur, T.A. Henzinger, P.-H. Ho
1993 Proceedings Real-Time Systems SymposiumFreely available from IEEE.pp. 0_1-0_1
Showing 35 out of 35