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
 
                             160 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Acceleration of circuit simulation on a parallel transputer workstation Reus, Thomas
1989
27 1-5 p. 731-737
7 p.
artikel
2 A comparison of frameworks for cooperation is distributed image registration systems Flavell, S.J.
1989
27 1-5 p. 135-141
7 p.
artikel
3 A construction database model Savnik, Iztok
1989
27 1-5 p. 121-126
6 p.
artikel
4 A coprocessor for implementing the LISP-dialect scheme Lohse, Jörg
1989
27 1-5 p. 355-362
8 p.
artikel
5 A DBT-based VLSI systolic architecture for hard squared error clustering Zapata, E.L.
1989
27 1-5 p. 299-305
7 p.
artikel
6 A declarative neural network description language Korb, Thomas
1989
27 1-5 p. 181-188
8 p.
artikel
7 A design of microcomputer speech output device Wei, Lin
1989
27 1-5 p. 363-
1 p.
artikel
8 A D-graph based approach for verifying response time of “critical” programs Cantone, G.
1989
27 1-5 p. 527-532
6 p.
artikel
9 A fault tolerant control computer for the aspera plasma instrument of phobos spacecraft Strömmer, Esko
1989
27 1-5 p. 233-237
5 p.
artikel
10 A flexible transputer network for numerical applications Luo, J.
1989
27 1-5 p. 405-411
7 p.
artikel
11 A framework for the synthesis of hardware from occam Dowsing, R.
1989
27 1-5 p. 373-379
7 p.
artikel
12 A graphics-only programming tool Schult, Uwe
1989
27 1-5 p. 627-632
6 p.
artikel
13 A high-level coordinator in a distributed filestore architecture Santana, M.J.
1989
27 1-5 p. 423-430
8 p.
artikel
14 A high speed prolog implementation on a VLIW processor Schenk, W.
1989
27 1-5 p. 601-605
5 p.
artikel
15 A knowledge-based approach to VLSI-design in an open CAD-environment Alberts, L.K.
1989
27 1-5 p. 77-84
8 p.
artikel
16 Algorithms and complexity of the periodic maintenance problem Mok, Al
1989
27 1-5 p. 657-664
8 p.
artikel
17 A methodology for structural & behavioural understanding of digital systems Parihar, Rajiv R.
1989
27 1-5 p. 63-68
6 p.
artikel
18 An automatic distributed calendar and appointment system Mattern, Friedemann
1989
27 1-5 p. 455-462
8 p.
artikel
19 An environment for developing concurrent software for transputer-based image processing Crookes, D.
1989
27 1-5 p. 417-422
6 p.
artikel
20 A new approach towards an object-oriented database system Goutas, S.
1989
27 1-5 p. 127-132
6 p.
artikel
21 An integrated development system for the MC68705 single chip computer Nylén, Per
1989
27 1-5 p. 579-581
3 p.
artikel
22 An object-manager for handling persistent data in modula-2 Ancona, M.
1989
27 1-5 p. 31-36
6 p.
artikel
23 A parallel markovian model reliability algorithm for hypercube networks Zapata, E.L.
1989
27 1-5 p. 501-508
8 p.
artikel
24 Application of system semantics to VLSI for the transformational design of a parameterized booth multiplier module — a case study Claesen, L.
1989
27 1-5 p. 261-266
6 p.
artikel
25 A protocol for resource locking and deadlock detection in a multi-user environment Domenici, Andrea
1989
27 1-5 p. 431-437
7 p.
artikel
26 Architecture design of a RISC-processor for prolog Deussen, Peter
1989
27 1-5 p. 101-108
8 p.
artikel
27 A reuse base for real-time software specifications Ihme, Tuomas
1989
27 1-5 p. 639-646
8 p.
artikel
28 A software engineering environment for distributed applications Mühlhäuser, M.
1989
27 1-5 p. 327-332
6 p.
artikel
29 Author index 1989
27 1-5 p. 845-851
7 p.
artikel
30 Authors' addresses 1989
27 1-5 p. 831-839
9 p.
artikel
31 Automatic synthesis of structural HDL descriptions from graphic specification of embedded asics Reinikka, Auli
1989
27 1-5 p. 473-478
6 p.
artikel
32 32-Bit microprocessor architectures and extended abstract machines for high level languages Ancona, M.
1989
27 1-5 p. 349-354
6 p.
artikel
33 Chairman's introduction Winkelhage, Friedrich
1989
27 1-5 p. vii-
1 p.
artikel
34 Characteristics and requirements of semi-custom design tools Haas, Werner
1989
27 1-5 p. 565-570
6 p.
artikel
35 Converstion modules: A methodological approach to the design of real-time applications Collado, M.
1989
27 1-5 p. 521-526
6 p.
artikel
36 Coping with some really rotten problems in automatic music recognition Clarke, A.T.
1989
27 1-5 p. 547-550
4 p.
artikel
37 Database support for the PROTOS-L system Böttcher, Stefan
1989
27 1-5 p. 25-30
6 p.
artikel
38 Data exchange formats for testing Pfeifer, Johannes
1989
27 1-5 p. 687-693
7 p.
artikel
39 Dedicated VLSI architectures 1989
27 1-5 p. 783-
1 p.
artikel
40 Description and verification of more-dimensional regular and non-homogeneous structures using a functional hardware description language Ploegaerts, W.
1989
27 1-5 p. 279-286
8 p.
artikel
41 Design tools for connectionist systems 1989
27 1-5 p. 3-
1 p.
artikel
42 Diprotalk: A tool for object-oriented design of distributed applications Petkov, A.
1989
27 1-5 p. 333-338
6 p.
artikel
43 Distributed system design using Ada as a tool for prototyping Levy, A.M.
1989
27 1-5 p. 221-230
10 p.
artikel
44 DUNIX: Distributed operating systems education via experimentation Frieder, O.
1989
27 1-5 p. 811-818
8 p.
artikel
45 Editorial Board 1989
27 1-5 p. IFC-
1 p.
artikel
46 EDULAN, a tool for teaching synchronization De Bosschere, Koenraad O.M.
1989
27 1-5 p. 819-825
7 p.
artikel
47 Efficient parallel implementation of the hough transform on a distributed memory system Ben-Tzvi, Doron
1989
27 1-5 p. 147-152
6 p.
artikel
48 Expert system design for symptom based diagnosis in local area networks Mariño, Perfecto
1989
27 1-5 p. 757-764
8 p.
artikel
49 Expert systems 1989
27 1-5 p. 747-
1 p.
artikel
50 Explicit fault modeling and hierarchical test pattern generation in the KARATE system Alfs, Gerold
1989
27 1-5 p. 675-680
6 p.
artikel
51 Floating point acceleration in massively parallel architectures Maresca, Massimo
1989
27 1-5 p. 495-500
6 p.
artikel
52 Formal hardware specification and verification using prolog Brezočnik, Z.
1989
27 1-5 p. 163-170
8 p.
artikel
53 Glass, a language for analog and digital circuit description, and its environment Oolman, H.
1989
27 1-5 p. 267-271
5 p.
artikel
54 Hardware support for the tumult real-time scheduler van der Bij, H.C.
1989
27 1-5 p. 251-257
7 p.
artikel
55 High complexity resonator structures for formant synthesis of musical instruments Sandler, Mark
1989
27 1-5 p. 557-562
6 p.
artikel
56 Highly parallel distributed computing systems with optical interconnections Just, J.R.
1989
27 1-5 p. 489-493
5 p.
artikel
57 IMISSED: Interactive microprocessor instruction set simulation environment with graphical display Dirkx, Erik
1989
27 1-5 p. 619-621
3 p.
artikel
58 Improving the performance of high-level synthesis Marwedel, Peter
1989
27 1-5 p. 381-387
7 p.
artikel
59 Inter: An inexpensive inter-procedural register allocator Mulder, J.M.
1989
27 1-5 p. 95-100
6 p.
artikel
60 Keynote session 1989
27 1-5 p. 3-
1 p.
artikel
61 Keynote session 1989
27 1-5 p. 5-
1 p.
artikel
62 Languages and tools for the graphical and textual system independent programming of programmable logic controllers Halang, Wolfgang A.
1989
27 1-5 p. 583-590
8 p.
artikel
63 Mechanizing the verification of real-time discrete systems Ostroff, J.S.
1989
27 1-5 p. 649-656
8 p.
artikel
64 Methodology for the 90's Jackson, Michael
1989
27 1-5 p. 7-15
9 p.
artikel
65 MEX, a programming language that supports discrete event simulation O'Dowd, Mike
1989
27 1-5 p. 215-220
6 p.
artikel
66 Microcomputer implementations of an object-oriented, multiprocessing database programming language Hughes, John G.
1989
27 1-5 p. 19-23
5 p.
artikel
67 Microprogrammed implementation of a reduction machine Muylaert Filho, Juarez A.
1989
27 1-5 p. 593-600
8 p.
artikel
68 Microprogramming 1989
27 1-5 p. 591-
1 p.
artikel
69 MSYN: Automatic synthesis of hardware Causarano, I.
1989
27 1-5 p. 367-372
6 p.
artikel
70 Music synthesis description with the data flow language lustre Amblard, Paul
1989
27 1-5 p. 551-556
6 p.
artikel
71 MVM: A GaAs microprocessor for critical real-time applications Núñez, Antonio
1989
27 1-5 p. 289-298
10 p.
artikel
72 NETPLAN: A rule based system to design packet switching data networks Annunziata, Massimo
1989
27 1-5 p. 749-756
8 p.
artikel
73 NL1 Machine — A concept of a high performance data type architecture Pissaloux, Edwige E.
1989
27 1-5 p. 307-314
8 p.
artikel
74 Non-invasive testing of real-time avionic μ-processor systems Suchenek, Marek A
1989
27 1-5 p. 665-671
7 p.
artikel
75 Object-oriented programming as a design methodology 1989
27 1-5 p. 1-
1 p.
artikel
76 On integrating database modeling constructs for software engineering databases Papazoglou, M.P.
1989
27 1-5 p. 113-120
8 p.
artikel
77 On location of faults with propagation to within a set of bounded size 1989
27 1-5 p. 799-
1 p.
artikel
78 On structured gate forest VLSI design Roos, Gerhard
1989
27 1-5 p. 785-792
8 p.
artikel
79 On the design of a real-time digital median filter Dodrill, J.
1989
27 1-5 p. 245-249
5 p.
artikel
80 Opening and keynote session 1989
27 1-5 p. 1-
1 p.
artikel
81 Optimum design of fault-tolerant arithmetic array processors by using data coding Piuri, Vincenzo
1989
27 1-5 p. 697-704
8 p.
artikel
82 Parallel object system support on transputer-based architectures Ciampolini, Anna
1989
27 1-5 p. 339-345
7 p.
artikel
83 Parallel processing in machine automation Rautiola, Kyösti
1989
27 1-5 p. 723-730
8 p.
artikel
84 PARLE: A language for expressing parallelism and integrating symbolic and numeric computations Eberbach, Eugeniusz
1989
27 1-5 p. 207-214
8 p.
artikel
85 Partitioning of digital designs: a knowledge based approach and concepts for its parallelization Hulin, Martin
1989
27 1-5 p. 69-75
7 p.
artikel
86 Performance evaluation of a new design-tool for microprocessor transient fault recovery Wingate, G.A.S.
1989
27 1-5 p. 801-808
8 p.
artikel
87 Performance of OPS5 matching on CUPID Kelly, Michael A.
1989
27 1-5 p. 397-404
8 p.
artikel
88 PMLS — A parallel multi-level VLSI simulator Aposporidis, E.
1989
27 1-5 p. 571-577
7 p.
artikel
89 Process programming using graphical objects Hiller, Thomas
1989
27 1-5 p. 633-638
6 p.
artikel
90 Programme chairman's introduction 1989
27 1-5 p. ix-x
nvt p.
artikel
91 Programme committee 1989
27 1-5 p. xi-
1 p.
artikel
92 Prolog: A new parallel evaluation scheme Hannequin, I.
1989
27 1-5 p. 391-396
6 p.
artikel
93 PUMA: Hardware support for fault-tolerance and object-oriented programming Vogt, Carsten
1989
27 1-5 p. 713-719
7 p.
artikel
94 Real-time scheduling with both preemption and nonpreemption requirements Yuan, Xiaoping
1989
27 1-5 p. 775-782
8 p.
artikel
95 Real time systems II 1989
27 1-5 p. 765-
1 p.
artikel
96 Real-time UNIX operating system: RX-UX 832 Mizuhashi, Yukiko
1989
27 1-5 p. 533-538
6 p.
artikel
97 Reduced instruction buffer for RISC architectures Jové, Teodor
1989
27 1-5 p. 87-93
7 p.
artikel
98 Reviewers 1989
27 1-5 p. xi-xii
nvt p.
artikel
99 Robotics and automation 1989
27 1-5 p. 37-
1 p.
artikel
100 Scheduling imprecise computations to minimize total error Chung, Jen-Yao
1989
27 1-5 p. 767-774
8 p.
artikel
101 Section A4 risc architectures 1989
27 1-5 p. 85-
1 p.
artikel
102 Session A3: Artificial intelligence for VLSI 1989
27 1-5 p. 61-
1 p.
artikel
103 Session A1: Databases I 1989
27 1-5 p. 17-18
2 p.
artikel
104 Session A5: Short notes I 1989
27 1-5 p. 109-
1 p.
artikel
105 Session B1: Databases II 1989
27 1-5 p. 111-
1 p.
artikel
106 Session B3: Formal Methods I 1989
27 1-5 p. 153-
1 p.
artikel
107 Session B5: Short notes II 1989
27 1-5 p. 195-
1 p.
artikel
108 Session B4: Using neural networks 1989
27 1-5 p. 179-
1 p.
artikel
109 Session B2: Vision and image analysis 1989
27 1-5 p. 133-
1 p.
artikel
110 Session C4: Dedicated architectures 1989
27 1-5 p. 287-
1 p.
artikel
111 Session C3: Formal methods II Boute, Raymond T.
1989
27 1-5 p. 259-260
2 p.
artikel
112 Session chairpersons 1989
27 1-5 p. xii-
1 p.
artikel
113 Session chairpersons' addresses 1989
27 1-5 p. 827-829
3 p.
artikel
114 Session C2: Real-time hardware and applications 1989
27 1-5 p. 231-
1 p.
artikel
115 Session C5: short notes III 1989
27 1-5 p. 323-
1 p.
artikel
116 Session C1: Tools for distributed system design I 1989
27 1-5 p. 197-198
2 p.
artikel
117 Session D4: Parallel architectures I 1989
27 1-5 p. 389-
1 p.
artikel
118 Session D5: Short notes IV 1989
27 1-5 p. 413-
1 p.
artikel
119 Session D2: Subsystems for future workstations 1989
27 1-5 p. 347-
1 p.
artikel
120 Session D3: Synthesis I 1989
27 1-5 p. 365-
1 p.
artikel
121 Session D1: tools for distributed system design II 1989
27 1-5 p. 325-
1 p.
artikel
122 Session E4: Parallel architectures II 1989
27 1-5 p. 487-
1 p.
artikel
123 Session E5: Short notes V 1989
27 1-5 p. 509-
1 p.
artikel
124 Session E3: Synthesis II 1989
27 1-5 p. 463-
1 p.
artikel
125 Session E1: Tools for distributed system design III 1989
27 1-5 p. 415-
1 p.
artikel
126 Session F2: Computer music 1989
27 1-5 p. 539-
1 p.
artikel
127 Session F3: Hardware development tools 1989
27 1-5 p. 563-
1 p.
artikel
128 Session F5: Short notes VI 1989
27 1-5 p. 623-
1 p.
artikel
129 Session F1: Software aspects in real-time systems 1989
27 1-5 p. 511-
1 p.
artikel
130 Session G4: Fault tolerance 1989
27 1-5 p. 695-
1 p.
artikel
131 Session G2: Real-time systems I 1989
27 1-5 p. 647-
1 p.
artikel
132 Session G1: Software development tools 1989
27 1-5 p. 625-
1 p.
artikel
133 Session G3: Testing 1989
27 1-5 p. 673-
1 p.
artikel
134 Session H5: Education 1989
27 1-5 p. 809-
1 p.
artikel
135 Session H4: Fault diagnosis 1989
27 1-5 p. 797-
1 p.
artikel
136 Software design of distributed single-axis motion controllers for industrial applications Pu, J.
1989
27 1-5 p. 53-60
8 p.
artikel
137 Sokrates-SA - A formal method for specifying real-time systems Okkonen, Ari
1989
27 1-5 p. 513-520
8 p.
artikel
138 Some proposals for VLSI implementation of digital PID controllers with some fault-tolerance capabilities Storti Gajani, Giancarlo
1989
27 1-5 p. 793-796
4 p.
artikel
139 Stochastic force sensing application in robotics Luk, B.L.
1989
27 1-5 p. 47-51
5 p.
artikel
140 Structure and application of NNSIM: a general-purpose neural network SIMulator Nijhuis, Jos
1989
27 1-5 p. 189-194
6 p.
artikel
141 Structure and performances of a campus-wide IBM token ring multi-network Della Vigna, P.
1989
27 1-5 p. 447-454
8 p.
artikel
142 Subject index 1989
27 1-5 p. 841-844
4 p.
artikel
143 SW/HW-partitioning of real-time embedded systems Soininen, Juha-Pekka
1989
27 1-5 p. 239-244
6 p.
artikel
144 Synchronous dataflow-based architecture Šilc, Jurij
1989
27 1-5 p. 315-322
8 p.
artikel
145 Syntactic and semantic aspects of formal system description Boute, Raymond T.
1989
27 1-5 p. 155-161
7 p.
artikel
146 Synthesis of an intelligent environment for object recognition using tactile data Contreiras, Francois
1989
27 1-5 p. 39-46
8 p.
artikel
147 Synthesis of control units in a design environment for chip architecture Geβner, J.
1989
27 1-5 p. 465-471
7 p.
artikel
148 Synthesis of systolic architectures using the SYS3 system Hartenstein, Reiner W.
1989
27 1-5 p. 479-486
8 p.
artikel
149 Systolic array description in F2 Camurati, Paolo
1989
27 1-5 p. 171-178
8 p.
artikel
150 Temporal logic issues in music knowledge representation Camurri, Antonio
1989
27 1-5 p. 541-546
6 p.
artikel
151 Testability of non-trivial CMOS faults under realistic conditions Vierhaus, H.T.
1989
27 1-5 p. 681-686
6 p.
artikel
152 The fault-tolerant architecture of the safe system Madeira, Henrique
1989
27 1-5 p. 705-712
8 p.
artikel
153 The use of an office information server in an environment based on high-performance workstations Beer, Martin D.
1989
27 1-5 p. 441-446
6 p.
artikel
154 TLS: a system for building and controlling transputer networks van Peursem, M.A
1989
27 1-5 p. 739-746
8 p.
artikel
155 Tools for distributed programming in the INCAS project Buhler, Peter
1989
27 1-5 p. 199-206
8 p.
artikel
156 Transformational design of digital circuits De Man, Jozef
1989
27 1-5 p. 273-278
6 p.
artikel
157 Transputer based digital signal processing unit for A 3-D vision system Jokitalo, P.
1989
27 1-5 p. 143-146
4 p.
artikel
158 Transputer systems and applications 1989
27 1-5 p. 721-
1 p.
artikel
159 Verification oriented approach to concurrent microprogramming with the language C-MIDDLE Gondzio, Marek
1989
27 1-5 p. 607-618
12 p.
artikel
160 Workstation networking 1989
27 1-5 p. 439-
1 p.
artikel
                             160 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland