nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Addressing mechanisms for VLIW and superscalar processors
|
Steven, F.L. |
|
1993 |
|
2-5 |
p. 75-78 4 p. |
artikel |
2 |
Advances in adaptive simulation of interconnected systems with delays
|
Alastruey, Carlos F. |
|
1993 |
|
2-5 |
p. 201-204 4 p. |
artikel |
3 |
A five step method for metric-based software evaluation — effective software metrication with respect to quality standards
|
Welzel, Dieter |
|
1993 |
|
2-5 |
p. 273-276 4 p. |
artikel |
4 |
A flexible indexing structure supporting multi-attribute database applications: MAIN
|
Kim, Byungwook |
|
1993 |
|
2-5 |
p. 177-180 4 p. |
artikel |
5 |
A frame-based approach to conformance testing
|
Dibuz, Sarolta |
|
1993 |
|
2-5 |
p. 191-194 4 p. |
artikel |
6 |
A load balancing system for unix-based local area networks
|
Borzemski, L. |
|
1993 |
|
2-5 |
p. 205-208 4 p. |
artikel |
7 |
An accurate and fast CSMA/CD simulator
|
Mariño, P. |
|
1993 |
|
2-5 |
p. 187-190 4 p. |
artikel |
8 |
A quick distributed consensus protocol
|
Guerra, F. |
|
1993 |
|
2-5 |
p. 111-114 4 p. |
artikel |
9 |
Architecture for interoperability of network management systems in multi-domain network
|
Lee, Jonghyun |
|
1993 |
|
2-5 |
p. 217-220 4 p. |
artikel |
10 |
A rule based programming language for real-time applications
|
del Río, A. |
|
1993 |
|
2-5 |
p. 139-142 4 p. |
artikel |
11 |
A true concurrency semantics for parallel programs
|
Kapus, Tatjana |
|
1993 |
|
2-5 |
p. 143-146 4 p. |
artikel |
12 |
Author index to volume 39
|
|
|
1993 |
|
2-5 |
p. 289-291 3 p. |
artikel |
13 |
Autodiagnostics for transputer systems
|
Sosnowski, J. |
|
1993 |
|
2-5 |
p. 115-118 4 p. |
artikel |
14 |
Automatic pattern generation for the electrical characterization of digital modules
|
Ribas, Ll. |
|
1993 |
|
2-5 |
p. 255-258 4 p. |
artikel |
15 |
Calendar
|
|
|
1993 |
|
2-5 |
p. 295-296 2 p. |
artikel |
16 |
Certificates handling and their support within X.500 system
|
Trček, Denis |
|
1993 |
|
2-5 |
p. 183-186 4 p. |
artikel |
17 |
Concurrently self-checking structures for Fsms
|
Sami, M.G. |
|
1993 |
|
2-5 |
p. 237-240 4 p. |
artikel |
18 |
Conflict handling in high level Petri Nets
|
Jávor, A. |
|
1993 |
|
2-5 |
p. 133-136 4 p. |
artikel |
19 |
Cycle calculus for hybrid systems
|
He, Heping |
|
1993 |
|
2-5 |
p. 223-227 5 p. |
artikel |
20 |
Data path structures and heuristics for testable allocation in high level synthesis
|
Olcoz, K |
|
1993 |
|
2-5 |
p. 263-266 4 p. |
artikel |
21 |
Derivation of protocols implementing services with event priorities
|
Kapus-Kolar, M. |
|
1993 |
|
2-5 |
p. 213-216 4 p. |
artikel |
22 |
Determining effective multiprocessor scheduling policies for repetitive real-time tasks
|
Papadimitriou, S. |
|
1993 |
|
2-5 |
p. 119-124 6 p. |
artikel |
23 |
Development of a fuzzy logic controller on a digital signal processor
|
del Campo, I. |
|
1993 |
|
2-5 |
p. 277-280 4 p. |
artikel |
24 |
Development of a technology independent library
|
Economou, G.-P. |
|
1993 |
|
2-5 |
p. 241-244 4 p. |
artikel |
25 |
Extending semantics of relational operators for vague queries
|
Lee, Do Heon |
|
1993 |
|
2-5 |
p. 165-168 4 p. |
artikel |
26 |
Global deadlock detection for concurrency control in multidatabase systems
|
Nam, Hongwoo |
|
1993 |
|
2-5 |
p. 155-158 4 p. |
artikel |
27 |
Global hardware synthesis guided by realistic probability computation
|
Moreno, R. |
|
1993 |
|
2-5 |
p. 233-236 4 p. |
artikel |
28 |
Hierachical modeling and simulation of processor architectures
|
Withagen, Willem Jan |
|
1993 |
|
2-5 |
p. 229-232 4 p. |
artikel |
29 |
High level synthesis through folding of data flow graphs: Optimal intra-node scheduling
|
Antola, Anna |
|
1993 |
|
2-5 |
p. 89-92 4 p. |
artikel |
30 |
High-speed parallel implementation of the statistical feature matrix method
|
Dékány, A |
|
1993 |
|
2-5 |
p. 285-288 4 p. |
artikel |
31 |
HP-MODTRANS: A High performance modular transputer architecture
|
Thor, Miroslaw |
|
1993 |
|
2-5 |
p. 59-63 5 p. |
artikel |
32 |
Implementation details of ALBA in a transputer machine
|
Hernández, J |
|
1993 |
|
2-5 |
p. 65-68 4 p. |
artikel |
33 |
Language prototyping with attribute grammars and macros
|
Švéda, Miroslav |
|
1993 |
|
2-5 |
p. 151-154 4 p. |
artikel |
34 |
Locking in DAG-structured databases
|
Cellary, Wojciech |
|
1993 |
|
2-5 |
p. 161-164 4 p. |
artikel |
35 |
MEM: A new execution model for Prolog
|
Tubella, J |
|
1993 |
|
2-5 |
p. 83-86 4 p. |
artikel |
36 |
Memory management in LOGFLOW
|
Kacsuk, P. |
|
1993 |
|
2-5 |
p. 79-82 4 p. |
artikel |
37 |
Monitoring and data recording system for the underground
|
Blazek, Zdenek |
|
1993 |
|
2-5 |
p. 281-284 4 p. |
artikel |
38 |
Multiobjective optimization using analytical models of GaAs high-speed digital circuits
|
Gómez, L. |
|
1993 |
|
2-5 |
p. 267-270 4 p. |
artikel |
39 |
Multi-protocol communications controller
|
Calderón, Juan Carlos |
|
1993 |
|
2-5 |
p. 209-212 4 p. |
artikel |
40 |
Parallel algorithm for table division in relational databases
|
Moreno, G. |
|
1993 |
|
2-5 |
p. 169-172 4 p. |
artikel |
41 |
Parallel compiler generation
|
Gaál, Tamás |
|
1993 |
|
2-5 |
p. 147-150 4 p. |
artikel |
42 |
Preface
|
Mortensen, Benny Graff |
|
1993 |
|
2-5 |
p. i- 1 p. |
artikel |
43 |
Process to processor mapping within the mathematician's Devil
|
Milligan, P. |
|
1993 |
|
2-5 |
p. 129-132 4 p. |
artikel |
44 |
Service-driven protocol synthesis for specific users
|
Pučko, M. |
|
1993 |
|
2-5 |
p. 195-198 4 p. |
artikel |
45 |
SMILE: A scalable microcontroller library element
|
Betts, A.K. |
|
1993 |
|
2-5 |
p. 259-262 4 p. |
artikel |
46 |
Spike Algorithm with savings for strictly diagonal dominant tridiagonal systems
|
Lluis Larriba-Pey, Joseph |
|
1993 |
|
2-5 |
p. 125-128 4 p. |
artikel |
47 |
Subject index to volume 39
|
|
|
1993 |
|
2-5 |
p. 293-294 2 p. |
artikel |
48 |
Testability enhancement using physical design rules in a CMOS cell library
|
Blom, F.C. |
|
1993 |
|
2-5 |
p. 245-248 4 p. |
artikel |
49 |
The fuzzy set model based on N-ary positively compensatory operators
|
Kim, Won Yong |
|
1993 |
|
2-5 |
p. 101-104 4 p. |
artikel |
50 |
The performance evaluation of a knowledge-based information retrieval system
|
Shin, Dongwook |
|
1993 |
|
2-5 |
p. 173-176 4 p. |
artikel |
51 |
Using CCS for the specification of inheritance
|
Buchanan, Mary |
|
1993 |
|
2-5 |
p. 93-96 4 p. |
artikel |
52 |
Using temporal logic specifications to debug parallel programs
|
Frey, M. |
|
1993 |
|
2-5 |
p. 97-100 4 p. |
artikel |
53 |
Using term dependencies of a thesaurus in the fuzzy set model
|
Lee, Joon Ho |
|
1993 |
|
2-5 |
p. 105-108 4 p. |
artikel |
54 |
VLSI implementation of digit-serial arithmetic modules
|
Bisdounis, L. |
|
1993 |
|
2-5 |
p. 251-254 4 p. |
artikel |
55 |
Watchdog processors in parallel systems
|
Pataricza, András |
|
1993 |
|
2-5 |
p. 69-74 6 p. |
artikel |