Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             153 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A behavioural simulator and its use for the validation of hypercube architectures Curatelli, Francesco
1988
24 1-5 p. 213-218
6 p.
artikel
2 A comparison of programming paradigms for the parallel computation of racah coefficients: An application of transputers to computational atomic physics Scott, N.S
1988
24 1-5 p. 535-539
5 p.
artikel
3 A computer architecture for real time image processing using VLSI Houghton, A.D
1988
24 1-5 p. 309-314
6 p.
artikel
4 A controlled reduction model of functional programs on a distributed associative network Devesa, N
1988
24 1-5 p. 613-620
8 p.
artikel
5 A language coprocessor as a HLL directed architecture Debaere, E.H
1988
24 1-5 p. 701-707
7 p.
artikel
6 A language environment for asic design Raud, Raivo
1988
24 1-5 p. 219-226
8 p.
artikel
7 A mechanism for reducing the cost of branches in RISC architectures González, Antonio
1988
24 1-5 p. 565-572
8 p.
artikel
8 A model based recognition system for tactile data Guiheux, H
1988
24 1-5 p. 425-431
7 p.
artikel
9 A multiprocessor architecture for robot-arm control Katbab, A
1988
24 1-5 p. 673-680
8 p.
artikel
10 A multi-transputer-net as a hardware simulation environment Hahn, W
1988
24 1-5 p. 291-298
8 p.
artikel
11 An animated simulation environment for microprocessors Dirkx, Erik
1988
24 1-5 p. 149-152
4 p.
artikel
12 An application of petri-nets in the control system of the FTC Jocković, Miroslav
1988
24 1-5 p. 681-686
6 p.
artikel
13 An associative string processor architecture for parallel processing applications Krikelis, A
1988
24 1-5 p. 747-754
8 p.
artikel
14 A Petri Net based compiler for the prototyping language RELOS Gruhn, Volker
1988
24 1-5 p. 471-482
12 p.
artikel
15 Applications: Education I Winkelhage, Friedrich
1988
24 1-5 p. 755-
1 p.
artikel
16 Applications: Image and speech processing Vajda, Ferenc
1988
24 1-5 p. 307-
1 p.
artikel
17 Applications: Real time systems Karjalainen, Jukka
1988
24 1-5 p. 661-
1 p.
artikel
18 Applications: Sensors and robotics Billingsley, John
1988
24 1-5 p. 409-
1 p.
artikel
19 A rotating laser range finder and attached data interpretation for use in an autonomous mobile robot Hinkel, Ralf
1988
24 1-5 p. 411-418
8 p.
artikel
20 A software training environment for electronic engineers using unix, modula-2 and a local area network Collier, Michael
1988
24 1-5 p. 761-765
5 p.
artikel
21 A system for estimation of numerical stability for matrix operations in systolic arrays Rauscher, R
1988
24 1-5 p. 527-534
8 p.
artikel
22 A transputer-based accelerator for multilevel digital simulation Rammig, Franz J
1988
24 1-5 p. 299-305
7 p.
artikel
23 Author index 1988
24 1-5 p. 857-862
6 p.
artikel
24 Authors' addresses 1988
24 1-5 p. 843-850
8 p.
artikel
25 Automated code generation of embedded real-time systems Auer, Antti
1988
24 1-5 p. 51-55
5 p.
artikel
26 Automatic protocol generation based on x.409 specifications Hellemans, Patrick M.J
1988
24 1-5 p. 111-119
9 p.
artikel
27 A vectorized superminicomputer, VAX-11/700 with vector processing Shi-Yao, Jin
1988
24 1-5 p. 743-746
4 p.
artikel
28 A VLSI implementation of polymorphic-torus architecture Maresca, Massimo
1988
24 1-5 p. 737-742
6 p.
artikel
29 A VLSI systolic architecture for fuzzy clustering Zapata, E.L
1988
24 1-5 p. 647-654
8 p.
artikel
30 Behavioral testing of multilevel system software Distante, Fausto
1988
24 1-5 p. 63-70
8 p.
artikel
31 Bradford musical instrument simulator and workstation Comerford, P.J
1988
24 1-5 p. 555-561
7 p.
artikel
32 BRISC: A RISC biprocessor architecture dedicated to power applications Dumont, A
1988
24 1-5 p. 589-596
8 p.
artikel
33 CADL - A formal description language for parallel computer architectures Eichenseher, Ingo
1988
24 1-5 p. 363-370
8 p.
artikel
34 Chairman's introduction Richter, Lutz
1988
24 1-5 p. vii-
1 p.
artikel
35 Closing the semantic gap Loewenstein, Paul
1988
24 1-5 p. 767-772
6 p.
artikel
36 CMOS fault modeling, test generation and design for testability Matthäus, C
1988
24 1-5 p. 233-238
6 p.
artikel
37 Communications strategies in international banking Huschke, H
1988
24 1-5 p. 9-
1 p.
artikel
38 Communication strategies in international banking Huschke, Hubert
1988
24 1-5 p. 11-13
3 p.
artikel
39 Computer music I Wilmink, Jan
1988
24 1-5 p. 433-
1 p.
artikel
40 Computer music II 1988
24 1-5 p. 547-
1 p.
artikel
41 Computer systems for real-time process control and supervision A framework for education based on a systems-engineering approach Sandberg, Ulf
1988
24 1-5 p. 829-833
5 p.
artikel
42 Concurrent checking of program flow using single-chip microcomputers Sosnowski, Janusz
1988
24 1-5 p. 783-789
7 p.
artikel
43 Concurrent, object-oriented program design in real-time systems Plessmann, K.W
1988
24 1-5 p. 257-265
9 p.
artikel
44 DDC: Delta driven computer, and μSyC: microprogrammable symbolic coprocessor Gonzalez-Rubio, R
1988
24 1-5 p. 599-606
8 p.
artikel
45 Declarative programming of the embedded control systems based on OR-ed dataflow operational principle Kurmann, Hans
1988
24 1-5 p. 663-672
10 p.
artikel
46 DEOS — A dynamically extendible object-oriented system Krolak, Steven T
1988
24 1-5 p. 241-248
8 p.
artikel
47 Design and implementation of a VLSI serial multiplier for fixed point numbers with self-checking capability Breveglieri, Luca
1988
24 1-5 p. 637-645
9 p.
artikel
48 Designing a branch target buffer for executing branches with zero time cost in a RISC processor Cortadella, Jordi
1988
24 1-5 p. 573-580
8 p.
artikel
49 Designing digital systems with a function language De Man, Jozef A
1988
24 1-5 p. 227-232
6 p.
artikel
50 Design of a bus-monitor for real-time applications Kanopoulos, Nick
1988
24 1-5 p. 717-721
5 p.
artikel
51 Design of real time systems. — A method and a tool Pedersen, Bjarne Gertz
1988
24 1-5 p. 379-385
7 p.
artikel
52 Design of the Hermix distributed operating system: Structural aspects Berbers, Yolande
1988
24 1-5 p. 187-193
7 p.
artikel
53 Diagnosability of system faults with propagation under asymmetric invalidation Huang, Kaiyuan
1988
24 1-5 p. 723-730
8 p.
artikel
54 Editorial Board 1988
24 1-5 p. IFC-
1 p.
artikel
55 Enhancing intermodel transformations in a distributed object-oriented database system Marinos, L
1988
24 1-5 p. 249-255
7 p.
artikel
56 Error retracing and fault localization techniques within Simueva, a system for evaluation of simulation results Buschke, Rainer
1988
24 1-5 p. 461-468
8 p.
artikel
57 Evaluation of complexity for different layouts of butterfly networks Antola, Anna
1988
24 1-5 p. 353-359
7 p.
artikel
58 Fault-tolerant hexagonal arithmetic array processors Piuri, Vincenzo
1988
24 1-5 p. 629-636
8 p.
artikel
59 Formal conversion between LOTOS specification and Galileo nets León, G
1988
24 1-5 p. 483-490
8 p.
artikel
60 Formal specification and verification of microprocessor systems Joyce, Jeffrey J
1988
24 1-5 p. 371-378
8 p.
artikel
61 Hierarchical physical design system for VLSI-/370 microprocessor Schulz, Uwe
1988
24 1-5 p. 131-135
5 p.
artikel
62 High speed data searching with a processor array Reddaway, S.F
1988
24 1-5 p. 655-660
6 p.
artikel
63 Implementation of an intelligent SAR image registration system Fernin, P
1988
24 1-5 p. 315-324
10 p.
artikel
64 Integrating an on-chip MMU into a highly pipelined architecture Cohen, Elliot J
1988
24 1-5 p. 709-713
5 p.
artikel
65 Issues in CPU-coprocessor communication and synchronization Oklobdzija, Vojin G
1988
24 1-5 p. 695-700
6 p.
artikel
66 Issues in the design and implementation of a distributed operating system for a network of transputers Murray, K.A
1988
24 1-5 p. 169-177
9 p.
artikel
67 Let's design asynchronous VLSI systems Peng, Zebo
1988
24 1-5 p. 347-352
6 p.
artikel
68 LINDA: An allocator for embedded multiprocessor systems Ancona, M
1988
24 1-5 p. 85-92
8 p.
artikel
69 Logic synthesis in the design of the VLSI-/370 microprocessor Kick, Bernhard
1988
24 1-5 p. 43-47
5 p.
artikel
70 Logic synthesis with constraints Fox, A
1988
24 1-5 p. 339-346
8 p.
artikel
71 Menu and graphic driven human interfaces for high level debuggers Bemmerl, Thomas
1988
24 1-5 p. 153-159
7 p.
artikel
72 Microelectronics: Fault tolerance and reliability Negrini, Roberto
1988
24 1-5 p. 773-
1 p.
artikel
73 Microelectronics: Processor architectures I Tabak, Daniel
1988
24 1-5 p. 563-
1 p.
artikel
74 Microelectronics: Processor architectures II Tabak, Daniel
1988
24 1-5 p. 693-
1 p.
artikel
75 MICROELECTRONICS: the VLSI-/370 microprocessor I Painke, Helmut
1988
24 1-5 p. 21-
1 p.
artikel
76 MICROELECTRONICS: The VLSI-/370 Microprocessor II 1988
24 1-5 p. 123-
1 p.
artikel
77 Microelectronics: VLSI design tools I Hartenstein, Reiner
1988
24 1-5 p. 337-
1 p.
artikel
78 Microprogramming, microprocessing and supercomputing Fisher, Joseph A
1988
24 1-5 p. 17-20
4 p.
artikel
79 Microprogramming, microprocessing and supercomputing Fisher, Joseph A
1988
24 1-5 p. 15-
1 p.
artikel
80 Multiple fault diagnosis for interconnection networks for distributed systems Tyszer, Jerzy
1988
24 1-5 p. 731-734
4 p.
artikel
81 Music processing at L.I.M. Haus, Goffredo
1988
24 1-5 p. 435-441
7 p.
artikel
82 Oberon: A system for workstations Wirth, N
1988
24 1-5 p. 3-8
6 p.
artikel
83 OCCAM—The language for educating future parallel programmers? Chalmers, Alan
1988
24 1-5 p. 757-760
4 p.
artikel
84 On the analysis of occam real-time distributed computations Zedan, H
1988
24 1-5 p. 491-500
10 p.
artikel
85 Opening and keynote session Richter, Lutz
1988
24 1-5 p. 1-
1 p.
artikel
86 Optimizing cache parameters using CAE workstations Bemmerl, Thomas
1988
24 1-5 p. 541-546
6 p.
artikel
87 Parallel administration of events in real-time systems Halang, Wolfgang A
1988
24 1-5 p. 687-692
6 p.
artikel
88 Parallel backtracking prolog engine De Blasi, M
1988
24 1-5 p. 607-611
5 p.
artikel
89 Parallel neural network simulation using sparse matrix techniques Cook, Jeremy
1988
24 1-5 p. 621-626
6 p.
artikel
90 Parallel parsing in a multiprocessor environment Brezány, Peter
1988
24 1-5 p. 819-826
8 p.
artikel
91 Parallel processing: Array processor II 1988
24 1-5 p. 735-
1 p.
artikel
92 Parallel processing: Array processors I Distante, Fausto
1988
24 1-5 p. 627-
1 p.
artikel
93 Parallel processing: Fault Tolerance II Cin, : Mario Dal
1988
24 1-5 p. 791-
1 p.
artikel
94 Parallel processing: Function-directed and neural architectures Brause, Rudiger
1988
24 1-5 p. 597-
1 p.
artikel
95 Parallel processing: Networks 1988
24 1-5 p. 93-
1 p.
artikel
96 Parallel processing: Operating systems and environments I 1988
24 1-5 p. 71-
1 p.
artikel
97 Parallel processing: Operating systems and environments II 1988
24 1-5 p. 167-
1 p.
artikel
98 Parallel processing: Simulation 1988
24 1-5 p. 195-
1 p.
artikel
99 Parallel processing: Transputers I Tiberghien, Jacques
1988
24 1-5 p. 273-
1 p.
artikel
100 Parallel processing: Transputers II 1988
24 1-5 p. 387-
1 p.
artikel
101 PC-Rimst - a tool for validating concurrent program designs Valmari, Antti
1988
24 1-5 p. 809-818
10 p.
artikel
102 PCTE — The kernel of software engineering environments Verrall, Malcolm
1988
24 1-5 p. 161-165
5 p.
artikel
103 Performance studies of multi-transputer architectures with static and dynamic links Das, P.K
1988
24 1-5 p. 281-289
9 p.
artikel
104 Petri net semantics of smalltalk-80 Christodoulakis, Dimitris N
1988
24 1-5 p. 267-272
6 p.
artikel
105 Practical multiprocessor and realtime programming in the fifth programming environment Mayer-Lindenberg, F
1988
24 1-5 p. 73-78
6 p.
artikel
106 Programme chairman's introduction 1988
24 1-5 p. ix-x
nvt p.
artikel
107 Programme committee 1988
24 1-5 p. xi-
1 p.
artikel
108 Protocol description and simulation in the OCCAM programming language Der Jeugt, Gert Van
1988
24 1-5 p. 205-207
3 p.
artikel
109 Real-time structured analysis in system level design of embedded ASICs Juntunen, Timo
1988
24 1-5 p. 449-454
6 p.
artikel
110 Real-time structured analysis in system level design of embedded ASICs 1988
24 1-5 p. 447-
1 p.
artikel
111 Real-time systems education in computer science at Manchester University Zobel, Richard N
1988
24 1-5 p. 835-840
6 p.
artikel
112 Reviewers 1988
24 1-5 p. xi-xii
nvt p.
artikel
113 SARA: A processor interconnection performance analysis tool Navaux, Philippe
1988
24 1-5 p. 197-204
8 p.
artikel
114 Session chairpersons 1988
24 1-5 p. xii-
1 p.
artikel
115 Session chairpersons' addresses 1988
24 1-5 p. 841-842
2 p.
artikel
116 Session D2: Software engineering: Formal methods I de Man, Josef
1988
24 1-5 p. 361-
1 p.
artikel
117 Session G2: Parallel processing: Fault tolerance I Dal Cin, Mario
1988
24 1-5 p. 715-
1 p.
artikel
118 Session H4: Applications: Education II Winkelhage, Friedrich
1988
24 1-5 p. 827-
1 p.
artikel
119 Session H3: Parallel processing: Concurrent program design Brause, Rudiger
1988
24 1-5 p. 807-
1 p.
artikel
120 Short notes I Schumny, Harald
1988
24 1-5 p. 121-
1 p.
artikel
121 Short notes II Schumny, Harald
1988
24 1-5 p. 335-
1 p.
artikel
122 Short notes II 1988
24 1-5 p. 209-
1 p.
artikel
123 Simple transformation rules in the application of transputers to the physiological processing of speech Adamson, K
1988
24 1-5 p. 397-402
6 p.
artikel
124 Software development in server-oriented systems the HERMIX approach Moons, H
1988
24 1-5 p. 179-185
7 p.
artikel
125 SOFTWARE ENGINEERING: environments 1988
24 1-5 p. 147-
1 p.
artikel
126 Software engineering formal methods II 1988
24 1-5 p. 469-
1 p.
artikel
127 Software engineering: Object-oriented approach 1988
24 1-5 p. 239-240
2 p.
artikel
128 Software engineering: System aspects Mølgaard, John
1988
24 1-5 p. 49-
1 p.
artikel
129 Software techniques for integrating text and graphics in VLSI CAD tools Sæter, Tore
1988
24 1-5 p. 455-460
6 p.
artikel
130 Specification of a communication virtual processor for parallel processing systems Barbosa, Valmir C
1988
24 1-5 p. 511-518
8 p.
artikel
131 Specific data structure intended for the implementation of high level ISO standards: Associated algorithms and dedicated hardware Dang, M
1988
24 1-5 p. 103-110
8 p.
artikel
132 Speech synthesis system with unlimited vocabulary for the Dutch language van de Goor, A.J
1988
24 1-5 p. 325-333
9 p.
artikel
133 State space modelling in the design of robust software for distributed systems: A case study Carpenter, Geoffrey F
1988
24 1-5 p. 793-799
7 p.
artikel
134 Stochastic force sensing application in robotics Luk, B.L
1988
24 1-5 p. 419-423
5 p.
artikel
135 Structure of a parallelizing compiler for the B-HIVE multicomputer Agrawal, Dharma P
1988
24 1-5 p. 79-84
6 p.
artikel
136 Subject index 1988
24 1-5 p. 851-855
5 p.
artikel
137 The architecture of RIG: A RISC for image generation in a multi-microprocessor environment Anido, M.L
1988
24 1-5 p. 581-588
8 p.
artikel
138 The communication processor of TUMULT-64 Smit, Gerard J.M
1988
24 1-5 p. 519-524
6 p.
artikel
139 The computer audio research laboratory at the center for music experiment and related research Terenzi, Fiorella
1988
24 1-5 p. 443-446
4 p.
artikel
140 The design of distributed, software fault tolerant, real-time systems incorporating decision mechanisms Holding, D.J
1988
24 1-5 p. 801-806
6 p.
artikel
141 The implementation of a functional machine on a transputer network Boudillet, O
1988
24 1-5 p. 389-396
8 p.
artikel
142 The logic design language and verification environment for the VLSI-/370 Roesner, Wolfgang
1988
24 1-5 p. 35-42
8 p.
artikel
143 The video-ram multiprocessor architecture Hersch, R.D
1988
24 1-5 p. 503-509
7 p.
artikel
144 Timing verification for the VLSI-/370 microprocessor Heinkele, Siegfried
1988
24 1-5 p. 125-129
5 p.
artikel
145 Transient fault recovery assessment in 8 and 16 bit microprocessor based controllers in embedded systems Wingate, G.A.S
1988
24 1-5 p. 775-782
8 p.
artikel
146 Transputer based implementations of the hough transform for computer vision Sandler, M.B.
1988
24 1-5 p. 403-408
6 p.
artikel
147 Transputer network with flexible topology Knoppers, Ir.P
1988
24 1-5 p. 275-279
5 p.
artikel
148 Two language levels for system programming Ancona, M
1988
24 1-5 p. 57-62
6 p.
artikel
149 Use of local-area networks as alternating sequential-parallel systems Wallach, Y
1988
24 1-5 p. 95-102
8 p.
artikel
150 Using a micro to automate data acquisition in music publishing Clarke, A.T
1988
24 1-5 p. 549-553
5 p.
artikel
151 Verification of the VLSI-/370 microprocessor Gerst, Harald
1988
24 1-5 p. 137-145
9 p.
artikel
152 VLSI-/370 microprocessor chip technology Schettler, H
1988
24 1-5 p. 29-33
5 p.
artikel
153 VLSI-/370 microprocessor overview Painke, Helmut
1988
24 1-5 p. 23-27
5 p.
artikel
                             153 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland