| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A blackboard-based robot position estimator
|
Seviora, R.E.
|
|
1986
|
18 |
1-5 |
p. 89-95
7 p.
|
artikel
|
| 2 |
A CAD tool box for VLSI around a hardware description language
|
Hartenstein, R.W.
|
|
1986
|
18 |
1-5 |
p. 99-105
7 p.
|
artikel
|
| 3 |
A concurrent network simulator for automated protocol development and performance evaluation
|
Chlamtac, Imrich
|
|
1986
|
18 |
1-5 |
p. 145-152
8 p.
|
artikel
|
| 4 |
A gate level simulator for MS-DOS personal computers
|
Cioffi, Giacomo
|
|
1986
|
18 |
1-5 |
p. 47-51
5 p.
|
artikel
|
| 5 |
A language for behavior, structure and geometry
|
Carlstedt, Gunnar
|
|
1986
|
18 |
1-5 |
p. 567-580
14 p.
|
artikel
|
| 6 |
A local area network with dynamic switch-over between a CSMA/CD and a token-passing access protocol
|
Bender, Harald
|
|
1986
|
18 |
1-5 |
p. 153-159
7 p.
|
artikel
|
| 7 |
AMDAS - An advanced microprogrammed data acquisition system: A first evaluation prototype
|
Annunziata, Massimo
|
|
1986
|
18 |
1-5 |
p. 515-524
10 p.
|
artikel
|
| 8 |
A model of the I/O subsystem of the Philips P4500 minicomputer
|
Houtekamer, G.E.
|
|
1986
|
18 |
1-5 |
p. 491-497
7 p.
|
artikel
|
| 9 |
An algorithm for the synthesis of processor structures from behavioural specifications
|
Marwedel, Peter
|
|
1986
|
18 |
1-5 |
p. 251-262
12 p.
|
artikel
|
| 10 |
An approach to fault-tolerance in architectures for discrete fourier transforms
|
Antola, Anna
|
|
1986
|
18 |
1-5 |
p. 275-288
14 p.
|
artikel
|
| 11 |
An automatic microcode generator for high level language machines
|
Sridhar, R.
|
|
1986
|
18 |
1-5 |
p. 263-268
6 p.
|
artikel
|
| 12 |
A new methodological proposal for program maintenance
|
Cantone, Giovanni
|
|
1986
|
18 |
1-5 |
p. 319-331
13 p.
|
artikel
|
| 13 |
A new strategy for interpreting LISP
|
Eicher, W.
|
|
1986
|
18 |
1-5 |
p. 81-88
8 p.
|
artikel
|
| 14 |
An expert system for mapping computer architectures into semicustom integrated circuits
|
Hulin, Martin
|
|
1986
|
18 |
1-5 |
p. 107-122
16 p.
|
artikel
|
| 15 |
An extension to base CONLAN in the temporal domain
|
Cabodi, Gianpiero
|
|
1986
|
18 |
1-5 |
p. 559-566
8 p.
|
artikel
|
| 16 |
An image processor for a multi image processing system
|
Vorstermans, J.
|
|
1986
|
18 |
1-5 |
p. 525-538
14 p.
|
artikel
|
| 17 |
An RSA cryptography processor
|
Sedlak, H.
|
|
1986
|
18 |
1-5 |
p. 583-590
8 p.
|
artikel
|
| 18 |
A Pascal-like portable, interactive development system for small microcontrollers
|
Christensen, Knud Smed
|
|
1986
|
18 |
1-5 |
p. 55-58
4 p.
|
artikel
|
| 19 |
A precisely timed fully parallel process input/output facility for control applications
|
Halang, Wolfgang A.
|
|
1986
|
18 |
1-5 |
p. 657-664
8 p.
|
artikel
|
| 20 |
A pre-design tool for a class of parallel processing systems
|
Das Gupta, S
|
|
1986
|
18 |
1-5 |
p. 417-424
8 p.
|
artikel
|
| 21 |
A PROLOG preprocessor for Warren's abstract instruction set
|
Knödler, Brigitte
|
|
1986
|
18 |
1-5 |
p. 71-79
9 p.
|
artikel
|
| 22 |
A shared-memory modula-2 multiprocessor for real-time control applications
|
Debaere, E.H.
|
|
1986
|
18 |
1-5 |
p. 213-220
8 p.
|
artikel
|
| 23 |
A two-dimensional hardware design language for VLSI
|
Lieberherr, Karl J.
|
|
1986
|
18 |
1-5 |
p. 131-141
11 p.
|
artikel
|
| 24 |
Author index
|
|
|
1986
|
18 |
1-5 |
p. 695-701
7 p.
|
artikel
|
| 25 |
Authors addresses
|
|
|
1986
|
18 |
1-5 |
p. 685-687
3 p.
|
artikel
|
| 26 |
Automatic hardware synthesis from a behavioural description language: occam
|
Collis, G.V.
|
|
1986
|
18 |
1-5 |
p. 243-250
8 p.
|
artikel
|
| 27 |
A VLSI architecture for the Central Processor of a digital switch
|
Dasiewicz, P.
|
|
1986
|
18 |
1-5 |
p. 591-595
5 p.
|
artikel
|
| 28 |
BAT: Optimization algorithms and overall design of a behavioral automatic tester
|
Distante, F.
|
|
1986
|
18 |
1-5 |
p. 363-370
8 p.
|
artikel
|
| 29 |
Cache interleaving in multiprocessor systems
|
Chaudhry, Ghulam M.
|
|
1986
|
18 |
1-5 |
p. 205-212
8 p.
|
artikel
|
| 30 |
Capacity and performance prediction in large distributed microprocessor systems under increasing processing speed
|
Gruszecki, M.
|
|
1986
|
18 |
1-5 |
p. 667-674
8 p.
|
artikel
|
| 31 |
Comparing causes of system failure
|
McCluskey, E.J.
|
|
1986
|
18 |
1-5 |
p. 11-22
12 p.
|
artikel
|
| 32 |
Compiling an RT level hardware description language into layout of NMOS cells
|
Navabi, Zainalabedin
|
|
1986
|
18 |
1-5 |
p. 123-129
7 p.
|
artikel
|
| 33 |
Concurrent systems, programming primitives and languages: A comparative study
|
Vajda, Ferenc
|
|
1986
|
18 |
1-5 |
p. 185-194
10 p.
|
artikel
|
| 34 |
C TPDL∗: Adapting TPDL∗ to concurrent simulation environments
|
Cabodi, Gianpiero
|
|
1986
|
18 |
1-5 |
p. 39-45
7 p.
|
artikel
|
| 35 |
Design methodology for low-power full custom RISC microprocessors
|
Ansorge, M.
|
|
1986
|
18 |
1-5 |
p. 427-434
8 p.
|
artikel
|
| 36 |
Design of a VLSI communicating circuit for an industrial local network in control process and automated production
|
Dang, M.
|
|
1986
|
18 |
1-5 |
p. 173-181
9 p.
|
artikel
|
| 37 |
Development tools
|
|
|
1986
|
18 |
1-5 |
p. 383-385
3 p.
|
artikel
|
| 38 |
Diagnosis by comparison with faulty comparators
|
Lombardi, Fabrizio
|
|
1986
|
18 |
1-5 |
p. 271-274
4 p.
|
artikel
|
| 39 |
DISDEB: An interactive high-level debugging system for a multi-microprocessor system
|
Lazzerini, B
|
|
1986
|
18 |
1-5 |
p. 401-408
8 p.
|
artikel
|
| 40 |
Disk space allocation schemes for real-time data gathering applications
|
Goczy La, Krzysztof
|
|
1986
|
18 |
1-5 |
p. 499-504
6 p.
|
artikel
|
| 41 |
Distributed systems
|
Vajda, Ferenc
|
|
1986
|
18 |
1-5 |
p. 453-454
2 p.
|
artikel
|
| 42 |
EDDA, a language based on petrinets and the dataflow principle for the development of parallel programs
|
Kerner, Helmut
|
|
1986
|
18 |
1-5 |
p. 299-305
7 p.
|
artikel
|
| 43 |
Editorial Board
|
|
|
1986
|
18 |
1-5 |
p. IFC-
1 p.
|
artikel
|
| 44 |
Embedded microcontroller operating system with state-machine support
|
Pulli, Petri
|
|
1986
|
18 |
1-5 |
p. 59-62
4 p.
|
artikel
|
| 45 |
Embedded systems
|
|
|
1986
|
18 |
1-5 |
p. 53-
1 p.
|
artikel
|
| 46 |
Event-flow computation as key to fast digital design simulation
|
Hahn, W.
|
|
1986
|
18 |
1-5 |
p. 27-38
12 p.
|
artikel
|
| 47 |
Fast and dense embedded arrays for microprocessors in CMOS-technology
|
Clemen, R.
|
|
1986
|
18 |
1-5 |
p. 441-444
4 p.
|
artikel
|
| 48 |
Fault tolerance
|
|
|
1986
|
18 |
1-5 |
p. 269-270
2 p.
|
artikel
|
| 49 |
F1: Data store organisation
|
Richter, Lutz
|
|
1986
|
18 |
1-5 |
p. 489-
1 p.
|
artikel
|
| 50 |
Hardware description languages
|
|
|
1986
|
18 |
1-5 |
p. 547-
1 p.
|
artikel
|
| 51 |
High level systems: Simulation, specification and synthesis
|
Rammig, Franz
|
|
1986
|
18 |
1-5 |
p. 241-
1 p.
|
artikel
|
| 52 |
Industrial automation
|
|
|
1986
|
18 |
1-5 |
p. 645-646
2 p.
|
artikel
|
| 53 |
Information retrieval using microcomputers
|
Pino, JoséA.
|
|
1986
|
18 |
1-5 |
p. 623-628
6 p.
|
artikel
|
| 54 |
Integrated computer support in the software engineering environment EPOS — Possibilities of support in system development projects
|
Lempp, P.
|
|
1986
|
18 |
1-5 |
p. 223-232
10 p.
|
artikel
|
| 55 |
Intelligence driven test sequence generator for VLSI design
|
Behbahani, Alaa Mohseni
|
|
1986
|
18 |
1-5 |
p. 355-362
8 p.
|
artikel
|
| 56 |
Interfacing VME-bus to a fault-tolerant architecture in the industrial environment
|
van Gennip, J.P.C.
|
|
1986
|
18 |
1-5 |
p. 289-295
7 p.
|
artikel
|
| 57 |
Interpretive execution of program code increases software robustness in embedded computer systems
|
Leppälä, Kari
|
|
1986
|
18 |
1-5 |
p. 63-68
6 p.
|
artikel
|
| 58 |
Introduction
|
Sami, Mariagiovanna
|
|
1986
|
18 |
1-5 |
p. 1-
1 p.
|
artikel
|
| 59 |
Introduction to the programme
|
|
|
1986
|
18 |
1-5 |
p. vii-
1 p.
|
artikel
|
| 60 |
Local area networks
|
|
|
1986
|
18 |
1-5 |
p. 143-
1 p.
|
artikel
|
| 61 |
Message passing and graph transformations: A model of actor computation
|
Janssens, D.
|
|
1986
|
18 |
1-5 |
p. 307-318
12 p.
|
artikel
|
| 62 |
Microprocessor applications in artificial intelligence
|
|
|
1986
|
18 |
1-5 |
p. 69-70
2 p.
|
artikel
|
| 63 |
Microprocessors in factory automation — A case study of an automated guided vehicle system and its integration into a hierarchical control structure
|
Tempelmeier, T.
|
|
1986
|
18 |
1-5 |
p. 647-656
10 p.
|
artikel
|
| 64 |
Monitoring tools for multiprocessors
|
Gregoretti, F
|
|
1986
|
18 |
1-5 |
p. 409-416
8 p.
|
artikel
|
| 65 |
Multichannel protocols for real-time microcomputer networks
|
Marsan, Marco Ajmone
|
|
1986
|
18 |
1-5 |
p. 469-477
9 p.
|
artikel
|
| 66 |
Multimedia filing & retrieval based on optical and magnetic mass-storage technologies
|
Langendörfer, H.
|
|
1986
|
18 |
1-5 |
p. 505-512
8 p.
|
artikel
|
| 67 |
Multimicroprocessors
|
|
|
1986
|
18 |
1-5 |
p. 183-
1 p.
|
artikel
|
| 68 |
Multiwindow screens without window overlapping
|
Maekawa, Mamoru
|
|
1986
|
18 |
1-5 |
p. 539-546
8 p.
|
artikel
|
| 69 |
Object oriented system supporting dynamic configuration
|
Decuypere, Hubert J.M.
|
|
1986
|
18 |
1-5 |
p. 455-462
8 p.
|
artikel
|
| 70 |
On the physical interconnection of the CTD multiprocessor
|
Winter, S.C.
|
|
1986
|
18 |
1-5 |
p. 597-601
5 p.
|
artikel
|
| 71 |
Optimizations in high level synthesis
|
Rosenstiel, Wolfgang
|
|
1986
|
18 |
1-5 |
p. 347-352
6 p.
|
artikel
|
| 72 |
Quantitative evaluation and selection criteria for implementation of decision tables
|
Ercoli, Paolo
|
|
1986
|
18 |
1-5 |
p. 617-621
5 p.
|
artikel
|
| 73 |
Realtime high level debugging in host/target environments
|
Bemmerl, Thomas
|
|
1986
|
18 |
1-5 |
p. 387-400
14 p.
|
artikel
|
| 74 |
Research and design of communication subnet for supporting distributed systems
|
Wan Yuliang,
|
|
1986
|
18 |
1-5 |
p. 479-487
9 p.
|
artikel
|
| 75 |
Reviewers
|
|
|
1986
|
18 |
1-5 |
p. viii-ix
nvt p.
|
artikel
|
| 76 |
Section B1: Silicon Compilation
|
Painke, :Helmut
|
|
1986
|
18 |
1-5 |
p. 97-
1 p.
|
artikel
|
| 77 |
Semantics of a hardware specification language
|
Larsson, Tony
|
|
1986
|
18 |
1-5 |
p. 637-643
7 p.
|
artikel
|
| 78 |
Semiconductor industry in Europe vs. Japan and United States
|
|
|
1986
|
18 |
1-5 |
p. 23-
1 p.
|
artikel
|
| 79 |
Session chairman addresses
|
|
|
1986
|
18 |
1-5 |
p. 683-
1 p.
|
artikel
|
| 80 |
Session chairmen
|
|
|
1986
|
18 |
1-5 |
p. ix-
1 p.
|
artikel
|
| 81 |
Session coordinators
|
|
|
1986
|
18 |
1-5 |
p. viii-
1 p.
|
artikel
|
| 82 |
Session K2: Keynote session
|
Mølgaard, John
|
|
1986
|
18 |
1-5 |
p. 9-
1 p.
|
artikel
|
| 83 |
Simulation
|
|
|
1986
|
18 |
1-5 |
p. 25-
1 p.
|
artikel
|
| 84 |
SMAX - A CONLAN member language for verifiable hardware descriptions
|
Eveking, Hans
|
|
1986
|
18 |
1-5 |
p. 549-558
10 p.
|
artikel
|
| 85 |
Software engineering environments
|
|
|
1986
|
18 |
1-5 |
p. 221-
1 p.
|
artikel
|
| 86 |
Software engineering tools
|
|
|
1986
|
18 |
1-5 |
p. 603-
1 p.
|
artikel
|
| 87 |
Software metrics: A critical evaluation and an application to Pascal
|
Lecciso, Roberto
|
|
1986
|
18 |
1-5 |
p. 605-615
11 p.
|
artikel
|
| 88 |
Specialized architectures
|
Taylor, Malcolm
|
|
1986
|
18 |
1-5 |
p. 513-514
2 p.
|
artikel
|
| 89 |
Study of a class of conflict resolution strategies for synchronous multiprocessor interconnection networks
|
Pombortsis, A.
|
|
1986
|
18 |
1-5 |
p. 463-467
5 p.
|
artikel
|
| 90 |
Subject index
|
|
|
1986
|
18 |
1-5 |
p. 689-693
5 p.
|
artikel
|
| 91 |
Suprenum - A MIMD multiprocessor system for large scale scientific computing
|
U. Trottenberg,
|
|
1986
|
18 |
1-5 |
p. 3-
1 p.
|
artikel
|
| 92 |
Synthesis of control structures from Petri net descriptions
|
Peng, Zebo
|
|
1986
|
18 |
1-5 |
p. 335-340
6 p.
|
artikel
|
| 93 |
Systems performance
|
|
|
1986
|
18 |
1-5 |
p. 665-
1 p.
|
artikel
|
| 94 |
Test generation
|
|
|
1986
|
18 |
1-5 |
p. 353-
1 p.
|
artikel
|
| 95 |
Test generation for circuits described in procedural hardware description languages (HDLs)
|
Sapiecha, K.
|
|
1986
|
18 |
1-5 |
p. 371-379
9 p.
|
artikel
|
| 96 |
The dependency notation as a graphical description language for logic design and silicon compilation
|
Kivelä, Jorma E.
|
|
1986
|
18 |
1-5 |
p. 631-635
5 p.
|
artikel
|
| 97 |
The design and prototype implementation of a “structure attribute” model for tool interfacing within an IPSE
|
Morrison, I.W.
|
|
1986
|
18 |
1-5 |
p. 233-240
8 p.
|
artikel
|
| 98 |
The MADMACS layout system
|
Frison, Patrice
|
|
1986
|
18 |
1-5 |
p. 445-452
8 p.
|
artikel
|
| 99 |
Virtual token access method and its implementations
|
Jyllilä, H.
|
|
1986
|
18 |
1-5 |
p. 161-171
11 p.
|
artikel
|
| 100 |
VLSI-based monitoring of the inter-process-communication in multi-microcomputer systems with shared memory
|
Klar, Rainer
|
|
1986
|
18 |
1-5 |
p. 195-204
10 p.
|
artikel
|
| 101 |
VLSI implementation of linear feedback shift registers for microprocessor applications
|
Gai, Silvano
|
|
1986
|
18 |
1-5 |
p. 435-440
6 p.
|
artikel
|
| 102 |
VLSI top-down design based on the separation of hierarchies
|
Spaanenburg, L.
|
|
1986
|
18 |
1-5 |
p. 341-346
6 p.
|
artikel
|
| 103 |
Workload generator for the performance analysis of some Philips minicomputers
|
Reijns, G.L.
|
|
1986
|
18 |
1-5 |
p. 675-681
7 p.
|
artikel
|
Tijdschrift beschrijving