Volume 25; Issue 11

Main
IFAC Proceedings Volumes
Volume 25; Issue 11

IFAC Proceedings Volumes

Volume 25; Issue 11

1

Time Concepts in Real-Time Software

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 2.51 MB

english, 1992

2

A Temporal Logic Approach to State Reachability in Real-Time Program Synchronization and Verification

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.42 MB

english, 1992

3

ZAMAN, A Simple Language for Expressing Timing Constraints

Sahraoui, Abd-Fi-Kader, Delfieu, David

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.43 MB

english, 1992

4

A Generalized Approach to Program Generation for Process Control Applications

Angelov, C.H., Ivanov, I.E., Petkov, P.T.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.34 MB

english, 1992

5

Prototyping Real-Time Engineering Systems Using Halley & Pirbhai’s Requirement Model

Fensome, David A.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 903 KB

english, 1992

6

A Behavioral Analysis and Modeling Method for Real-Time Systems

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.11 MB

english, 1992

7

Heterogeneous Prototypes in Concurrent Engineering of Embedded Software

Pulli, P., Heikkinen, M.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.06 MB

english, 1992

8

Deadline Monotonic Scheduling Theory

Audsley, N.C., Burns, A., Richardson, M.F., Wellings, A.J.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.59 MB

english, 1992

9

DIMOS : Distributed Monitoring System. From Specifications to Delivery, the Realization of a Nuclear Power Plant Supervision System Using HOOD and ADA

Jacobs, P., Pluvinage, D.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.10 MB

english, 1992

10

IPRESPS - a Programming Environment for Partitioning and Scheduling of Time Critical Tasks

Ojsteršek, M., Žumer, V.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 2.04 MB

english, 1992

11

Towards an Environment for Complex Real-Time Control Systems Developing

García, A., Crespo, A.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 3.58 MB

english, 1992

12

The PMOS Real-Time Kernel

Moylan, Peter J.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.41 MB

english, 1992

13

Object-Oriented Control Systems and Real-Time Kernels

Rødseth, Ørnulf Jan

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.69 MB

english, 1992

14

Modelling Time Critical Communication Networks with Stochastic Timed Petri Nets

Juanole, G., Atamna, Y., Bergé, N., Farines, J.M.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.21 MB

english, 1992

15

Toward Dynamic. Multiprocessor Real-Time Threads

Schwan, Karsten, Zhou, Hongyi

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.49 MB

english, 1992

16

Coherence of Distributed Applications Under Critical Time Constraints

Bayart, M., Staroswiecki, M.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.41 MB

english, 1992

17

The Specification, Design and Verification of Real-Time Embedded Control Logic using CSP and TCSP

Clarke, P.J., Holding, D.J.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.50 MB

english, 1992

18

Relative Correctness of Real-Time Systems

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.21 MB

english, 1992

19

Hard Real-Time System Implementation on a Microcontroller

Andre, Charles, Peraldi, Marie-Agnès

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.28 MB

english, 1992

20

Design Method of Real-Time Systems

Carcagno, L., De Michiel, M., Dours, D., Facca, R., Feki, A., Magnaud, P.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.70 MB

english, 1992

21

Applying Object-Oriented Principles in Control-System Design

Tittus, M., Egardt, B.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.29 MB

english, 1992

22

Design of an Object-Oriented Real-Time Simulation Host Language YHSIM-1/VAX Compiler

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 824 KB

english, 1992

23

Real-Time Toolbox for PC-MatLab

Houška, Jan, Sládek, Bohumír

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.12 MB

english, 1992

24

Long Term, Real-Time Generating Unit Simulator (GUS) on Personal Computer

Malfliet, B., Piret, J.P.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.25 MB

english, 1992

25

Analysis and Prototyping of Real-Time Systems

Bashan, H., Koch, E.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 734 KB

english, 1992

26

Some Results on Hard Real-Time Scheduling

Litoiu, Marin, Litoiu, Milena

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 829 KB

english, 1992

27

Implementing Mode Changes and Fault Recovery for Hard Real-Time Systems in ADA

Alonso, Alejandro, de la Puente, Juan A.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.32 MB

english, 1992

28

A Communication Model for Cooperative Real-Time Systems

Feder-Andres, Ch.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.48 MB

english, 1992

29

VDM + CCS + Time = MOSCA

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.48 MB

english, 1992

30

POO, a Hybrid OO Method for Real-Time SW

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.06 MB

english, 1992

31

Application of Formal Description Techniques to Real-Time Scheduling

Lirola, A. García, González-barcia, F. Fournón y, Molinero, F. Gómez

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.19 MB

english, 1992

32

Reliability and Efficiency Aspects of Real-Time Exception Handling

Feder-Andres, C., Schorr, R.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.57 MB

english, 1992

33

Specification of Real-Time Systems for Protection Tasks in Automated High-Speed Transportation Systems

Jopke, K., Knigge, R., Schnieder, E.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.26 MB

english, 1992

34

A Visual Real-Time Programming Language

Bastiaens, K., Van Campenhout, J.M.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.24 MB

english, 1992

35

RealTimeTalk, an Object-Oriented Language for Hard Real-Time Systems

Brorsson, E., Eriksson, C., Gustafsson, J.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.42 MB

english, 1992

36

Ada Gets Groomed for the Whole Spectrum of Real-Time Duties.

Cobin, M., Gielen, F.J.A.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.40 MB

english, 1992

37

Defining the Semantics of Languages for Programmable Controllers with Synchronous Processes

Marcé, L., Parc, P. Le

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.30 MB

english, 1992

38

Safe and Deterministic Real-Time Programming in a Nondeterministic Parallel Processing System

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.33 MB

english, 1992

39

How to Ensure Software Quality for Real-Time Systems

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.23 MB

english, 1992

40

Monitoring the Development of Real-Time Systems: the COSMOS Project

Fuchs, N., Lockhart, R., Stainer, S., Whitty, R.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.09 MB

english, 1992

41

Real-Time UNIX: What Performance can we Expect?

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.10 MB

english, 1992

42

A Statecharts-Based Specification and Verification of Real-TIme Job Scheduling Systems

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.60 MB

english, 1992

43

Enabling Efficient Schedulability Analysis through Program Transformations and Restricted Resource Contention

Stoyenko, Alexander D., Marlowe, Thomas J., Halang, Wolfgang A.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.33 MB

english, 1992

44

A Scheduling Strategy for a Distributed Hard Real-Time Programming Environment

Manuel, Juan Adán, Ferreira, Mauricio Magalhães

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.67 MB

english, 1992

45

Architectural Support for Predictability in Hard Real-Time Systems

Colnarič, Matjaž, Halang, Wolfgang A.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.48 MB

english, 1992

46

The DEDOS On-line Scheduler

Luit, E.J., Mombarg, V.A.P.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.63 MB

english, 1992

47

Graphical Programming for Real-Time Systems. An Experience from the World of Education

Schwarz, J.-J., Miquel, M., Skubich, J.-J.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.50 MB

english, 1992

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски