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

Proceedings Twelfth Real-Time Systems Symposium

Dec. 4 1991 to Dec. 6 1991

San Antonio, TX, USA

Table of Contents

The diffusion model based task remapping for distributed real-time 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 M. Takegaki, H. Kanamaru, M. Fujita
Version selection schemes for hard real-time communicationsFull-text access may be available. Sign in or learn about subscription options.pp. 12,13,14,15,16,17,18,19,20,21
by N. Malcolm, W. Zhao
Efficient synchronization of clocks in a distributed systemFull-text access may be available. Sign in or learn about subscription options.pp. 22,23,24,25,26,27,28,29,30,31
by S. Rangarajan, S.K. Tripathi
Towards an automatic synthesis system for real-time softwareFull-text access may be available. Sign in or learn about subscription options.pp. 34,35,36,37,38,39,40,41,42
by T.E. Smith, D.E. Setliff
RTC: language support for real-time concurrencyFull-text access may be available. Sign in or learn about subscription options.pp. 43,44,45,46,47,48,49,50,51,52
by V. Wolfe, S. Davidson, I. Lee
Program representation and translation for predictable real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 53,54,55,56,57,58,59,60,61,62,63
by D. Niehaus
A partial evaluator for the Maruti hard real-time systemFull-text access may be available. Sign in or learn about subscription options.pp. 64,65,66,67,68,69,70,71,72,73
by V. Nirkhe, W. Pugh
Run-time monitoring of real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 74,75,76,77,78,79,80,81,82,83
by S.E. Chodrow, F. Jahanian, M. Donner
An object oriented model for parallel and reactive systemsFull-text access may be available. Sign in or learn about subscription options.pp. 84,85,86,87,88,89,90,91,92,93
by A. Attoui, M. Schneider
Load sharing with consideration of future task arrivals in heterogeneous distributed real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 94,95,96,97,98,99,100,101,102,103
by C.-J. Hou, K.G. Shin
On the competitiveness of on-line real-time task schedulingFull-text access may be available. Sign in or learn about subscription options.pp. 106,107,108,109,110,111,112,113,114,115
by S. Baruah, G. Koren, D. Mao, B. Mishra, A. Raghunathan, L. Rosier, D. Shasha, F. Wang
Fixed priority scheduling periodic tasks with varying execution priorityFull-text access may be available. Sign in or learn about subscription options.pp. 116,117,118,119,120,121,122,123,124,125,126,127,128
by M.G. Harbour, M.H. Klein, J.P. Lehoczky
On non-preemptive scheduling of period and sporadic tasksFull-text access may be available. Sign in or learn about subscription options.pp. 129,130,131,132,133,134,135,136,137,138,139
by K. Jeffay, D.F. Stanat, C.U. Martel
A priority ceiling protocol for multiple-instance resourcesFull-text access may be available. Sign in or learn about subscription options.pp. 140,141,142,143,144,145,146,147,148,149
by M.-I. Chen, K.-J. Lin
Optimization in real timeFull-text access may be available. Sign in or learn about subscription options.pp. 150,151,152,153,154,155,156,157,158,159
by L.-C. Chu, B.W. Wah
Load adjustment in adaptive real-time 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
by T.-W. Kuo, A.K. Mok
Real-time features for Ada 9XFull-text access may be available. Sign in or learn about subscription options.pp. 172,173,174,175,176,177,178,179,180
by T. Baker, O. Pazy
Building a predictable avionics platform in Ada: a case studyFull-text access may be available. Sign in or learn about subscription options.pp. 181,182,183,184,185,186,187,188,189
by C.D. Locke, D.R. Vogel, T.J. Mesler
Early experience with POSIX 1003.4 and POSIX 1003.4 AFull-text access may be available. Sign in or learn about subscription options.pp. 190,191,192,193,194,195,196,197,198
by B.O. Gallmeister, C. Lanier
Hartstone distributed benchmark: requirements and definitionsFull-text access may be available. Sign in or learn about subscription options.pp. 199,200,201,202,203,204,205,206,207,208
by N.I. Kamenoff, N.H. Weiderman
On using priority inheritance in real-time databasesFull-text access may be available. Sign in or learn about subscription options.pp. 210,211,212,213,214,215,216,217,218,219,220,221
by J. Huang, J.A. Stankovic, K. Ramamritham, D. Towsley
Enhancing real-time DBMS performance with multiversion data and priority based disk schedulingFull-text access may be available. Sign in or learn about subscription options.pp. 222,223,224,225,226,227,228,229,230,231
by W. Kim, J. Srivastava
Earliest deadline scheduling for real-time database systemsFull-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 J.R. Haritsa, M. Livny, M.J. Carey
Specification and verification of real-time embedded systems using time-constrained reactive automataFull-text access may be available. Sign in or learn about subscription options.pp. 244,245,246,247,248,249,250,251,252,253
by A. Bestavros
Clairvoyance, capricious timing faults, causality, and real-time specificationsFull-text access may be available. Sign in or learn about subscription options.pp. 254,255,256,257,258,259,260,261,262,263
by D.A. Stuart, P.C. Clements
A requirements specification method for adaptive real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 264,265,266,267,268,269,270,271,272,273
by A.H. Muntz, R.W. Lichota
Using objects and actions to provide fault tolerance in distributed, real-time applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 276,277,278,279,280,281,282,283,284,285
by S.K. Shrivastava, A. Waterworth
The transient server approach to scheduling time-critical recovery operationsFull-text access may be available. Sign in or learn about subscription options.pp. 286,287,288,289,290,291,292,293,294,295
by S. Ramos-Thuel, J.K. Strosnider
MACS: a predictable architecture for real time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 296,297,298,299,300,301,302,303,304,305
by B. Cogswell, Z. Segall
Proceedings. Twelfth Real-Time Systems Symposium (Cat. No.91CH3090-8)Freely available from IEEE.pp. 0_1-0_1
Showing 30 out of 30