Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             47 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Behavioral Analysis and Modeling Method for Real-Time Systems Gomaa, Hassan
 1992
 25 11 p. 43-48
6 p.
 artikel
2 A Communication Model for Cooperative Real-Time Systems Feder-Andres, Ch.
 1992
 25 11 p. 137-142
6 p.
 artikel
3 Ada Gets Groomed for the Whole Spectrum of Real-Time Duties. Cobin, M.
 1992
 25 11 p. 107-112
6 p.
 artikel
4 A Generalized Approach to Program Generation for Process Control Applications Angelov, C.H.
 1992
 25 11 p. 31-36
6 p.
 artikel
5 Analysis and Prototyping of Real-Time Systems Bashan, H.
 1992
 25 11 p. 237-239
3 p.
 artikel
6 Application of Formal Description Techniques to Real-Time Scheduling Lirola, A. García
 1992
 25 11 p. 253-258
6 p.
 artikel
7 Applying Object-Oriented Principles in Control-System Design Tittus, M.
 1992
 25 11 p. 203-207
5 p.
 artikel
8 Architectural Support for Predictability in Hard Real-Time Systems Colnarič, Matjaž
 1992
 25 11 p. 281-286
6 p.
 artikel
9 A Scheduling Strategy for a Distributed Hard Real-Time Programming Environment Manuel, Juan Adán
 1992
 25 11 p. 275-280
6 p.
 artikel
10 A Statecharts-Based Specification and Verification of Real-TIme Job Scheduling Systems Sowmya, A.
 1992
 25 11 p. 263-268
6 p.
 artikel
11 A Temporal Logic Approach to State Reachability in Real-Time Program Synchronization and Verification Ionescu, Dan
 1992
 25 11 p. 11-18
8 p.
 artikel
12 A Visual Real-Time Programming Language Bastiaens, K.
 1992
 25 11 p. 75-79
5 p.
 artikel
13 Coherence of Distributed Applications Under Critical Time Constraints Bayart, M.
 1992
 25 11 p. 155-160
6 p.
 artikel
14 Deadline Monotonic Scheduling Theory Audsley, N.C.
 1992
 25 11 p. 55-60
6 p.
 artikel
15 Defining the Semantics of Languages for Programmable Controllers with Synchronous Processes Marcé, L.
 1992
 25 11 p. 113-118
6 p.
 artikel
16 Design Method of Real-Time Systems Carcagno, L.
 1992
 25 11 p. 191-196
6 p.
 artikel
17 Design of an Object-Oriented Real-Time Simulation Host Language YHSIM-1/VAX Compiler Gui, Xian-Zhou
 1992
 25 11 p. 209-212
4 p.
 artikel
18 DIMOS : Distributed Monitoring System. From Specifications to Delivery, the Realization of a Nuclear Power Plant Supervision System Using HOOD and ADA Jacobs, P.
 1992
 25 11 p. 61-66
6 p.
 artikel
19 Enabling Efficient Schedulability Analysis through Program Transformations and Restricted Resource Contention Stoyenko, Alexander D.
 1992
 25 11 p. 269-273
5 p.
 artikel
20 Graphical Programming for Real-Time Systems. An Experience from the World of Education Schwarz, J.-J.
 1992
 25 11 p. 225-230
6 p.
 artikel
21 Hard Real-Time System Implementation on a Microcontroller Andre, Charles
 1992
 25 11 p. 185-189
5 p.
 artikel
22 Heterogeneous Prototypes in Concurrent Engineering of Embedded Software Pulli, P.
 1992
 25 11 p. 49-54
6 p.
 artikel
23 How to Ensure Software Quality for Real-Time Systems Hindel, B.
 1992
 25 11 p. 231-236
6 p.
 artikel
24 Implementing Mode Changes and Fault Recovery for Hard Real-Time Systems in ADA Alonso, Alejandro
 1992
 25 11 p. 95-100
6 p.
 artikel
25 IPRESPS - a Programming Environment for Partitioning and Scheduling of Time Critical Tasks Ojsteršek, M.
 1992
 25 11 p. 87-93
7 p.
 artikel
26 Long Term, Real-Time Generating Unit Simulator (GUS) on Personal Computer Malfliet, B.
 1992
 25 11 p. 219-224
6 p.
 artikel
27 Modelling Time Critical Communication Networks with Stochastic Timed Petri Nets Juanole, G.
 1992
 25 11 p. 143-148
6 p.
 artikel
28 Monitoring the Development of Real-Time Systems: the COSMOS Project Fuchs, N.
 1992
 25 11 p. 241-246
6 p.
 artikel
29 Object-Oriented Control Systems and Real-Time Kernels Rødseth, Ørnulf Jan
 1992
 25 11 p. 131-136
6 p.
 artikel
30 POO, a Hybrid OO Method for Real-Time SW Cortés, V.
 1992
 25 11 p. 197-201
5 p.
 artikel
31 Prototyping Real-Time Engineering Systems Using Halley & Pirbhai’s Requirement Model Fensome, David A.
 1992
 25 11 p. 37-41
5 p.
 artikel
32 RealTimeTalk, an Object-Oriented Language for Hard Real-Time Systems Brorsson, E.
 1992
 25 11 p. 81-86
6 p.
 artikel
33 Real-Time Toolbox for PC-MatLab Houška, Jan
 1992
 25 11 p. 213-217
5 p.
 artikel
34 Real-Time UNIX: What Performance can we Expect? Rzehak, Helmut
 1992
 25 11 p. 247-252
6 p.
 artikel
35 Relative Correctness of Real-Time Systems Szmuc, T.
 1992
 25 11 p. 173-177
5 p.
 artikel
36 Reliability and Efficiency Aspects of Real-Time Exception Handling Feder-Andres, C.
 1992
 25 11 p. 25-30
6 p.
 artikel
37 Safe and Deterministic Real-Time Programming in a Nondeterministic Parallel Processing System Croll, P.R.
 1992
 25 11 p. 161-166
6 p.
 artikel
38 Some Results on Hard Real-Time Scheduling Litoiu, Marin
 1992
 25 11 p. 259-262
4 p.
 artikel
39 Specification of Real-Time Systems for Protection Tasks in Automated High-Speed Transportation Systems Jopke, K.
 1992
 25 11 p. 67-74
8 p.
 artikel
40 The DEDOS On-line Scheduler Luit, E.J.
 1992
 25 11 p. 119-124
6 p.
 artikel
41 The PMOS Real-Time Kernel Moylan, Peter J.
 1992
 25 11 p. 125-129
5 p.
 artikel
42 The Specification, Design and Verification of Real-Time Embedded Control Logic using CSP and TCSP Clarke, P.J.
 1992
 25 11 p. 167-172
6 p.
 artikel
43 Time Concepts in Real-Time Software Motus, L.
 1992
 25 11 p. 1-10
10 p.
 artikel
44 Toward Dynamic. Multiprocessor Real-Time Threads Schwan, Karsten
 1992
 25 11 p. 149-154
6 p.
 artikel
45 Towards an Environment for Complex Real-Time Control Systems Developing García, A.
 1992
 25 11 p. 101-106
6 p.
 artikel
46 VDM + CCS + Time = MOSCA Toetenel, Hans
 1992
 25 11 p. 179-184
6 p.
 artikel
47 ZAMAN, A Simple Language for Expressing Timing Constraints Sahraoui, Abd-Fi-Kader
 1992
 25 11 p. 19-24
6 p.
 artikel
                             47 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland