A distributed real-time operating system (Englisch)
- Neue Suche nach: Cvijovic, M.
- Neue Suche nach: Kunc, M.
- Neue Suche nach: Cvijovic, M.
- Neue Suche nach: Kunc, M.
In:
Third International Conference on Software Engineering for Real Time Systems
;
No.344
;
260-265
;
1991
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:A distributed real-time operating system
-
Weitere Titelangaben:Ein verteiltes Echtzeitbetriebssystem
-
Beteiligte:Cvijovic, M. ( Autor:in ) / Kunc, M. ( Autor:in )
-
Erschienen in:Third International Conference on Software Engineering for Real Time Systems ; No.344 ; 260-265
-
Verlag:
- Neue Suche nach: IEE
-
Erscheinungsort:London
-
Erscheinungsdatum:1991
-
Format / Umfang:6 Seiten, 7 Quellen
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Securing Ada systemsDinnis, G.T.J. / Turner, P.A. et al. | 1991
- 7
-
Reusing temporal properties of real-time softwareCantone, G. et al. | 1991
- 16
-
Choice of design methodologies for demanding high intensity industrial control systemsJesty, P.H. / Lamb, D.A. / Buckley, T.F. / West, M.M. et al. | 1991
- 22
-
Verification, validation and the achievement of quality: a holistic approachHambling, B.F. et al. | 1991
- 31
-
A formalisation of Jackson system developmentYeung, W.L. / Smith, P. / Topping, G. et al. | 1991
- 40
-
A functional machine for real-time applicationsWinter, S.C. / Wilson, D.R. et al. | 1991
- 46
-
Methodology and tools for requirements capture, traceability, and verificationWardle, P.J. et al. | 1991
- 51
-
Real-time systems-animation prototyping of formal specificationsHughes, T.S. / Cooling, J.E. et al. | 1991
- 57
-
Specification of real time control systems by means of sequential function chartsMallaband, S. et al. | 1991
- 63
-
'A reliable friend': a method for maintaining the load information in a distributed computer systemEcheverria, I. / Woodward, M.C. et al. | 1991
- 69
-
An object-oriented approach to the modelling of real-time softwareAl-Rowaihi, S.F.K. / Rodd, M.G. et al. | 1991
- 73
-
A pragmatic approach to low-cost, real-time, environment monitoring and predictionCarpenter, G.F. / Salim, M. / Pugh, J. et al. | 1991
- 79
-
DOS and real time?Isherwood, D. et al. | 1991
- 86
-
The DART real time control systemDean, A.M. et al. | 1991
- 93
-
Software for real time temperature controlSharkey, S.J. / Brookfield, D.J. / Steen, W.M. et al. | 1991
- 98
-
Parameter estimation for a non-direct drive robot armEkrekli, A. / Brookfield, D.J. et al. | 1991
- 104
-
The application of parallel computing to the design of advanced helicopter flight control systems via real-time simulationLawes, S.T. / Clarke, T. / Taylor, P. et al. | 1991
- 109
-
Determining the location and identity of components in an AMP environmentWare, J.A. / Davies, R.A. / Roberts, G. et al. | 1991
- 115
-
Data point acquisition and configuration for robotic applicationsMeldrum, R.N. et al. | 1991
- 119
-
Neural networks for robot controlCousein, A. et al. | 1991
- 125
-
Adaptive control strategy for a water supply systemMan, K.F. / Yung, W.K. / Chow, T.W.S. et al. | 1991
- 129
-
A rendezvous with multitasking multiprocessorsOed, R.G. et al. | 1991
- 135
-
The 'PC' as a development environment for real time embedded systemsCraddock, J.P. et al. | 1991
- 139
-
IEC65A control languages-a practical viewJuer, J. / Hughes, I.P. et al. | 1991
- 145
-
Real time control of automated adhesive dispensingRazban, A. / Sezgin, O.S. / Davies, B.L. et al. | 1991
- 151
-
Scheduling time-constrained messages in a process control environmentBeus-Dukic, L. / Wellings, A.J. et al. | 1991
- 156
-
The concept of time in software engineering for real time systemsHoogeboom, B. / Halang, W.A. et al. | 1991
- 164
-
Modelling real-time constraintsBerryman, S.J. / Sommerville, I. et al. | 1991
- 170
-
Symbolic occamRingwood, G.A. et al. | 1991
- 176
-
Controlling cooperative experts in a real time systemOliveira, E. / Qiegang, L. / Camacho, R. et al. | 1991
- 182
-
A job shop scheduler combining knowledge based system with databaseYuan, M. / Burns, G. et al. | 1991
- 194
-
Advanced configuration utilities for a real time distributed process control and manufacturing automation platformCoathup, R.H. / Russell, W.J. / Mellor, J.E. et al. | 1991
- 199
-
A real-time validatorHay, D.B. / Seviora, R.E. et al. | 1991
- 205
-
On or near the ground flight simulationHogg, C. / Self, A. / Pearce, D. / Wilson, D. et al. | 1991
- 212
-
A handwritten Arabic character recognition technique for machine readerEl-Desouky, A.I. / Salem, M.M. / Abd El-Gwad, A.O. / Arafat, H. et al. | 1991
- 217
-
The accuracy of interrupt driven time measurementsBergman, G.D. et al. | 1991
- 221
-
Multiprogramming with ER netsStrucl, J. et al. | 1991
- 227
-
An approach to modular programming in CVelastin, S.A. et al. | 1991
- 233
-
A methodology for real-time database system constructionSleat, P. / Osmon, P. et al. | 1991
- 239
-
Transputer implementation of fault tolerant distributed architecture for critical real-time applicationSinha, A. / Chaudhuri, A. / Das, P.K. et al. | 1991
- 244
-
Validation methods using formal techniquesProbert, P.J. / Lamb, D. et al. | 1991
- 250
-
Performance evaluation of movable head disk schedulesSalem, M.M. et al. | 1991
- 254
-
Computers operating systems: V-SSTF dynamic disk scheduling techniqueSalem, M.M. / Abd El-Gwad, A.O. / Harb, H.M. / Zahran, O.A. et al. | 1991
- 260
-
A distributed real-time operating systemCvijovic, M. / Kunc, M. et al. | 1991
- 266
-
Deriving protocol specifications from service specifications with heterogeneous timing requirementsKapus-Kolar, M. et al. | 1991
- 271
-
Multicast real-time communicationsRugelj, J. et al. | 1991
- 277
-
The use of a distributed vibration monitoring system for on-line mechanical fault diagnosisMartin, I. / Pearce, D. / Self, A. et al. | 1991
- 284
-
The effective on-line use of personal computers in conjunction with DCS for enhanced product quality and energy efficiencySlater, A. / Webb, W. / Self, A. et al. | 1991