| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A design methodology of microprogrammed controllers for custom CMOS IC's
|
Piguet, C
|
|
1987
|
21 |
1-5 |
p. 463-470
8 p.
|
artikel
|
| 2 |
A flexible architecture for image processing
|
Hartenstein, R.W
|
|
1987
|
21 |
1-5 |
p. 65-71
7 p.
|
artikel
|
| 3 |
A graph-based algorithm for the automated datapath synthesis of ASM
|
Hwang Kuo, Yau
|
|
1987
|
21 |
1-5 |
p. 647-654
8 p.
|
artikel
|
| 4 |
A language coprocessor for the interpretation of threaded coded
|
Debaere, E.H
|
|
1987
|
21 |
1-5 |
p. 593-602
10 p.
|
artikel
|
| 5 |
A monolithic scan-line bit producer for real-time image rasterization
|
Kanopoulos, Nick
|
|
1987
|
21 |
1-5 |
p. 57-63
7 p.
|
artikel
|
| 6 |
An approach to fault-tolerant allocation of concurrent communicating processes in multiprocessor architectures and hardware dimensioning
|
Piuri, Vincenzo
|
|
1987
|
21 |
1-5 |
p. 339-346
8 p.
|
artikel
|
| 7 |
An effectively instrumentable life cycle model
|
Hausen, Hans-Ludwig
|
|
1987
|
21 |
1-5 |
p. 361-370
10 p.
|
artikel
|
| 8 |
An expert system shell for standardization of VLSI process data base and knowledge base
|
Marks, Karl M
|
|
1987
|
21 |
1-5 |
p. 523-530
8 p.
|
artikel
|
| 9 |
A parallel approach to rule based systems
|
Delbar, Paul
|
|
1987
|
21 |
1-5 |
p. 507-514
8 p.
|
artikel
|
| 10 |
A PC-based evaluation and control system for gas-liquid chromatography
|
Halang, Wolfgang A
|
|
1987
|
21 |
1-5 |
p. 153-160
8 p.
|
artikel
|
| 11 |
A pipelined VLSI-based structure for the reconstruction of three-dimensional images from projections
|
Vermeesch, J
|
|
1987
|
21 |
1-5 |
p. 129-135
7 p.
|
artikel
|
| 12 |
A portable realtime multitasking kernel for embedded microprocessor systems
|
Bemmerl, Thomas
|
|
1987
|
21 |
1-5 |
p. 181-188
8 p.
|
artikel
|
| 13 |
A real-time image compressor using a modular signal-processing system employing occam and the transputer
|
Bramley, R.G
|
|
1987
|
21 |
1-5 |
p. 49-55
7 p.
|
artikel
|
| 14 |
A reconfiguration algorithm for wafer-scale integration of systolic arrays
|
Jervis, Leonardo
|
|
1987
|
21 |
1-5 |
p. 83-90
8 p.
|
artikel
|
| 15 |
A regular WSI-node architecture
|
Trobec, Roman
|
|
1987
|
21 |
1-5 |
p. 75-81
7 p.
|
artikel
|
| 16 |
A RISC prolog machine architecture
|
Vlahavas, J
|
|
1987
|
21 |
1-5 |
p. 259-266
8 p.
|
artikel
|
| 17 |
A survey of GaAs computer designs
|
Nuñez, Antonio
|
|
1987
|
21 |
1-5 |
p. 665-670
6 p.
|
artikel
|
| 18 |
A Unix distributed application support suitable for mini and microcomputer based systems
|
Martins, Joberto S.B
|
|
1987
|
21 |
1-5 |
p. 205-210
6 p.
|
artikel
|
| 19 |
Author index
|
|
|
1987
|
21 |
1-5 |
p. 683-690
8 p.
|
artikel
|
| 20 |
Authors' addresses
|
|
|
1987
|
21 |
1-5 |
p. 673-676
4 p.
|
artikel
|
| 21 |
Automated datapath synthesis: a compilation approach
|
Pfahler, Peter
|
|
1987
|
21 |
1-5 |
p. 577-584
8 p.
|
artikel
|
| 22 |
Compact-disk image display and handling system
|
Reijns, G.L
|
|
1987
|
21 |
1-5 |
p. 405-412
8 p.
|
artikel
|
| 23 |
Computer aided evalution of simulation results, the Simueva program package
|
Buschke, Rainer
|
|
1987
|
21 |
1-5 |
p. 471-478
8 p.
|
artikel
|
| 24 |
Controller network development - but how?!
|
Lawrenz, Wolfhard
|
|
1987
|
21 |
1-5 |
p. 111-117
7 p.
|
artikel
|
| 25 |
Cooker programmers with embedded microcomputers
|
Billingsley, J
|
|
1987
|
21 |
1-5 |
p. 413-416
4 p.
|
artikel
|
| 26 |
Coprocessor design for GaAs technology
|
Vlajnié, Milan S
|
|
1987
|
21 |
1-5 |
p. 657-663
7 p.
|
artikel
|
| 27 |
Design and implementation of a portable kernel for real-time applications
|
Nikolov, Lilyan
|
|
1987
|
21 |
1-5 |
p. 189-195
7 p.
|
artikel
|
| 28 |
Design considerations on a VLSI Prolog interpreter
|
Civera, P.L
|
|
1987
|
21 |
1-5 |
p. 267-273
7 p.
|
artikel
|
| 29 |
Design of a reconfigurable parallel RISC-machine
|
Blazek, Zdenek
|
|
1987
|
21 |
1-5 |
p. 39-46
8 p.
|
artikel
|
| 30 |
Distributed architectures
|
|
|
1987
|
21 |
1-5 |
p. 591-
1 p.
|
artikel
|
| 31 |
Distributed system diagnosability based in self-testing system nodes
|
Novak, Franc
|
|
1987
|
21 |
1-5 |
p. 489-496
8 p.
|
artikel
|
| 32 |
Distributed systems and fault tolerance
|
|
|
1987
|
21 |
1-5 |
p. 479-
1 p.
|
artikel
|
| 33 |
DPCM studies using edge prediction and adaptive quantisation laws for the transmission of still pictures over the ISDN
|
Vivian, Roy H
|
|
1987
|
21 |
1-5 |
p. 141-150
10 p.
|
artikel
|
| 34 |
Editorial Board
|
|
|
1987
|
21 |
1-5 |
p. IFC-
1 p.
|
artikel
|
| 35 |
Embedded systems
|
|
|
1987
|
21 |
1-5 |
p. 391-
1 p.
|
artikel
|
| 36 |
Emulation of a parallel codeblock dataflow processor
|
Buehrer, R.E
|
|
1987
|
21 |
1-5 |
p. 319-324
6 p.
|
artikel
|
| 37 |
Encapsulation constructs in prolog
|
Stamatis, D
|
|
1987
|
21 |
1-5 |
p. 515-522
8 p.
|
artikel
|
| 38 |
Experience using a SIMD/SPMD multiprocessor architecture
|
Auguin, M
|
|
1987
|
21 |
1-5 |
p. 171-177
7 p.
|
artikel
|
| 39 |
Fault-tolerant solutions for complex-numbers multipliers
|
Bonzio, F.C
|
|
1987
|
21 |
1-5 |
p. 91-97
7 p.
|
artikel
|
| 40 |
Formal reasoning about switch-level MOS descriptions
|
Eveking, Hans
|
|
1987
|
21 |
1-5 |
p. 453-461
9 p.
|
artikel
|
| 41 |
Formal specification and documentation of microprocessor instruction sets
|
P. Bowen, Jonathan
|
|
1987
|
21 |
1-5 |
p. 223-230
8 p.
|
artikel
|
| 42 |
Formal specification of basic mechanisms of a message passing kernel
|
Gorski, Janusz
|
|
1987
|
21 |
1-5 |
p. 213-221
9 p.
|
artikel
|
| 43 |
Formal specification techniques
|
|
|
1987
|
21 |
1-5 |
p. 211-
1 p.
|
artikel
|
| 44 |
From structural RT description tio floor plan
|
Bonomo, A
|
|
1987
|
21 |
1-5 |
p. 569-576
8 p.
|
artikel
|
| 45 |
Functional programming of a robot motion control
|
Herbert Schweinzer, Dr
|
|
1987
|
21 |
1-5 |
p. 419-426
8 p.
|
artikel
|
| 46 |
Future architecture of high performance workstations
|
Färber, G
|
|
1987
|
21 |
1-5 |
p. 7-14
8 p.
|
artikel
|
| 47 |
GaAs implementation of a 32-bit RISC
|
Lane, J.H
|
|
1987
|
21 |
1-5 |
p. 31-38
8 p.
|
artikel
|
| 48 |
Hardware reconfiguration of Transputer networks for distributed object-oriented programming
|
Fay, D.Q.M
|
|
1987
|
21 |
1-5 |
p. 623-628
6 p.
|
artikel
|
| 49 |
Image processing
|
|
|
1987
|
21 |
1-5 |
p. 47-
1 p.
|
artikel
|
| 50 |
Improving the reliability of bus systems: Fault isolation and fault tolerance
|
Vogt, Richard
|
|
1987
|
21 |
1-5 |
p. 333-338
6 p.
|
artikel
|
| 51 |
Inserting state restoration requests in systems of distributed processes
|
Cantone, Giovanni
|
|
1987
|
21 |
1-5 |
p. 481-487
7 p.
|
artikel
|
| 52 |
Integrated sensors to an assembly robot using a distributed control network
|
Niemelä, U
|
|
1987
|
21 |
1-5 |
p. 427-431
5 p.
|
artikel
|
| 53 |
Integration of a hardware module for tracing local variables in real-time software
|
Rijks, Erik
|
|
1987
|
21 |
1-5 |
p. 639-645
7 p.
|
artikel
|
| 54 |
Interfacing
|
|
|
1987
|
21 |
1-5 |
p. 99-
1 p.
|
artikel
|
| 55 |
Intermediate code for the sequential Prolog machine PEK
|
Wada, K
|
|
1987
|
21 |
1-5 |
p. 275-282
8 p.
|
artikel
|
| 56 |
Introduction to the programme
|
|
|
1987
|
21 |
1-5 |
p. vii-viii
nvt p.
|
artikel
|
| 57 |
Keynote session
|
|
|
1987
|
21 |
1-5 |
p. 5-
1 p.
|
artikel
|
| 58 |
Keynote session
|
|
|
1987
|
21 |
1-5 |
p. 15-
1 p.
|
artikel
|
| 59 |
Macintosh in the laboratory
|
Taylor, B.G
|
|
1987
|
21 |
1-5 |
p. 101-109
9 p.
|
artikel
|
| 60 |
MAPPS: A VLSI multiprocessor for the execution of production system programs
|
Oshisanwo, A.O
|
|
1987
|
21 |
1-5 |
p. 251-258
8 p.
|
artikel
|
| 61 |
Massive parallelism for artificial intelligence (extended abstract)
|
Steels, Luc
|
|
1987
|
21 |
1-5 |
p. 17-19
3 p.
|
artikel
|
| 62 |
Microprocessor applications
|
|
|
1987
|
21 |
1-5 |
p. 151-
1 p.
|
artikel
|
| 63 |
MLED: A multiple abstraction level graphical editor
|
Hartenstein, Reiner W
|
|
1987
|
21 |
1-5 |
p. 585-590
6 p.
|
artikel
|
| 64 |
Multimicroprocessor
|
|
|
1987
|
21 |
1-5 |
p. 311-
1 p.
|
artikel
|
| 65 |
New opportunities in manufacturing
|
|
|
1987
|
21 |
1-5 |
p. 3-
1 p.
|
artikel
|
| 66 |
Notes on implementing a language for transputer networks
|
Crookes, D
|
|
1987
|
21 |
1-5 |
p. 559-565
7 p.
|
artikel
|
| 67 |
OC-FP, An applicative language combination with occam and the algebra of processes
|
Glück, Robert
|
|
1987
|
21 |
1-5 |
p. 549-557
9 p.
|
artikel
|
| 68 |
On the analysis and design of manufacturing systems
|
Wilson, D.R
|
|
1987
|
21 |
1-5 |
p. 433-439
7 p.
|
artikel
|
| 69 |
Opening and keynote session
|
|
|
1987
|
21 |
1-5 |
p. 1-
1 p.
|
artikel
|
| 70 |
Operating systems
|
|
|
1987
|
21 |
1-5 |
p. 179-
1 p.
|
artikel
|
| 71 |
Optimization techniques in building expert systems
|
Cremonini, Roberto
|
|
1987
|
21 |
1-5 |
p. 531-538
8 p.
|
artikel
|
| 72 |
Parallel algorithm for MSE estimation of 2-D noncasual image models
|
Theodoridis, S
|
|
1987
|
21 |
1-5 |
p. 137-140
4 p.
|
artikel
|
| 73 |
Parallel control of a waste-water treatment plant using a real-time multi-tasking operating system
|
Naghdy, F
|
|
1987
|
21 |
1-5 |
p. 603-611
9 p.
|
artikel
|
| 74 |
PC-based multimedia messaging systems
|
Milenković, Čedomir
|
|
1987
|
21 |
1-5 |
p. 119-126
8 p.
|
artikel
|
| 75 |
Performance aspects of Ada tasking in embedded systems
|
Huijsman, R.D
|
|
1987
|
21 |
1-5 |
p. 301-309
9 p.
|
artikel
|
| 76 |
Performance evaluation package for UNIX III systems
|
Kroon, J.G.M
|
|
1987
|
21 |
1-5 |
p. 347-355
9 p.
|
artikel
|
| 77 |
Proposal for an architecture for TUMULT based on a serial data link
|
Scholten, J
|
|
1987
|
21 |
1-5 |
p. 613-619
7 p.
|
artikel
|
| 78 |
Reachability analysis -based validation of embedded systems
|
Valmari, Antti
|
|
1987
|
21 |
1-5 |
p. 393-403
11 p.
|
artikel
|
| 79 |
Register array processor
|
Janeček, Jan
|
|
1987
|
21 |
1-5 |
p. 23-30
8 p.
|
artikel
|
| 80 |
Reviewers
|
|
|
1987
|
21 |
1-5 |
p. ix-x
nvt p.
|
artikel
|
| 81 |
Reviewers (contd.): Session chairpersons:
|
|
|
1987
|
21 |
1-5 |
p. x-
1 p.
|
artikel
|
| 82 |
Risc architecture
|
|
|
1987
|
21 |
1-5 |
p. 21-
1 p.
|
artikel
|
| 83 |
Robotics and automation
|
|
|
1987
|
21 |
1-5 |
p. 417-
1 p.
|
artikel
|
| 84 |
Semi-automatic guided synthesis of concurrent systems specifications
|
Leon, G.
|
|
1987
|
21 |
1-5 |
p. 541-548
8 p.
|
artikel
|
| 85 |
Session C3: AI architecture and applications I
|
Klaus Waldschmidt,
|
|
1987
|
21 |
1-5 |
p. 249-250
2 p.
|
artikel
|
| 86 |
Session chairpersons addresses
|
|
|
1987
|
21 |
1-5 |
p. 671-672
2 p.
|
artikel
|
| 87 |
Session coordinators
|
|
|
1987
|
21 |
1-5 |
p. ix-
1 p.
|
artikel
|
| 88 |
Short notes
|
Mølgaard, John
|
|
1987
|
21 |
1-5 |
p. 283-
1 p.
|
artikel
|
| 89 |
Short notes
|
M∅lgaard, John
|
|
1987
|
21 |
1-5 |
p. 357-
1 p.
|
artikel
|
| 90 |
Short notes
|
Mølgaard, John
|
|
1987
|
21 |
1-5 |
p. 441-
1 p.
|
artikel
|
| 91 |
Software engineering & environments I
|
Røgeberg, Thomas
|
|
1987
|
21 |
1-5 |
p. 285-286
2 p.
|
artikel
|
| 92 |
Specification using lotos on the test facility of a transmission system
|
Londeix, B
|
|
1987
|
21 |
1-5 |
p. 241-248
8 p.
|
artikel
|
| 93 |
Structuring a distributed program: the XMDS approach
|
Ancona, M
|
|
1987
|
21 |
1-5 |
p. 287-293
7 p.
|
artikel
|
| 94 |
Subject index
|
|
|
1987
|
21 |
1-5 |
p. 677-682
6 p.
|
artikel
|
| 95 |
System analysis and performance
|
|
|
1987
|
21 |
1-5 |
p. 331-
1 p.
|
artikel
|
| 96 |
System diagnosability in some restricted hybrid fault situations. Comparative studies on different system-level fault diagnosis models
|
Kozlowski, Wojciech E
|
|
1987
|
21 |
1-5 |
p. 497-504
8 p.
|
artikel
|
| 97 |
Testability and path testing strategies
|
Cantone, Giovanni
|
|
1987
|
21 |
1-5 |
p. 371-381
11 p.
|
artikel
|
| 98 |
The algebraic data type specification language
|
Duponcheel, Luc
|
|
1987
|
21 |
1-5 |
p. 231-240
10 p.
|
artikel
|
| 99 |
The implementation of a software engineering database using desk-size computing resources
|
Christodoulakis, D
|
|
1987
|
21 |
1-5 |
p. 383-389
7 p.
|
artikel
|
| 100 |
The inner product processor
|
E.E.E, Frietman
|
|
1987
|
21 |
1-5 |
p. 313-318
6 p.
|
artikel
|
| 101 |
The optimal extraction of velocity information from a sonar correlation log
|
Atkins, P
|
|
1987
|
21 |
1-5 |
p. 161-169
9 p.
|
artikel
|
| 102 |
The provision of flexibility in hiercrchical control systems
|
Beer, Martin D
|
|
1987
|
21 |
1-5 |
p. 295-299
5 p.
|
artikel
|
| 103 |
Tools for VLSI design
|
|
|
1987
|
21 |
1-5 |
p. 567-
1 p.
|
artikel
|
| 104 |
Utilization of parallelism in transputer-based real-time control systems
|
Leppälä, Kari
|
|
1987
|
21 |
1-5 |
p. 629-636
8 p.
|
artikel
|
| 105 |
Vampix, a multimicroprocessor control system adaptable to special complex machines
|
Ing. Drazen FLEGO, Dipl
|
|
1987
|
21 |
1-5 |
p. 325-330
6 p.
|
artikel
|
| 106 |
Verification and validation of hierarchical CMOS gate array layouts
|
Payer, Michael
|
|
1987
|
21 |
1-5 |
p. 445-452
8 p.
|
artikel
|
| 107 |
VLSI and fault tolerance
|
|
|
1987
|
21 |
1-5 |
p. 73-74
2 p.
|
artikel
|
| 108 |
V60 real-time operating system
|
Shimojima, Takehiko
|
|
1987
|
21 |
1-5 |
p. 197-204
8 p.
|
artikel
|
Tijdschrift beschrijving