nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A bit-serial VLSI architecture for the 2-D discrete cosine transform
|
Tatsaki, Anna |
|
1994 |
|
10-12 |
p. 829-832 4 p. |
artikel |
2 |
A concept of a fully distributed processing strategy oriented for unix local area networks
|
Brudło, P. |
|
1994 |
|
10-12 |
p. 723-726 4 p. |
artikel |
3 |
Adaptive Steiner tree balancing in distributed algorithm for multicast connection setup
|
Novak, Roman |
|
1994 |
|
10-12 |
p. 795-798 4 p. |
artikel |
4 |
A flexible VLSI-based hardware system for medium-large-vocabulary real-time speech recognition
|
Fernández, J.M. |
|
1994 |
|
10-12 |
p. 825-828 4 p. |
artikel |
5 |
A hypermedia data model for public space and computer aided learning
|
MacGlashan, Stuart |
|
1994 |
|
10-12 |
p. 851-854 4 p. |
artikel |
6 |
A knowledge based approach to loop restructuring
|
Quill, J.C. |
|
1994 |
|
10-12 |
p. 773-776 4 p. |
artikel |
7 |
Analysis of network protocol performance in the context of multi-workstation parallel distributed applications
|
Jubb, Matthew J. |
|
1994 |
|
10-12 |
p. 807-810 4 p. |
artikel |
8 |
An efficient critical path tracing algorithm for sequential circuits
|
Chang, Hoon |
|
1994 |
|
10-12 |
p. 913-916 4 p. |
artikel |
9 |
An environment for processing images of historical documents
|
Dueire Lins, Rafael |
|
1994 |
|
10-12 |
p. 939-942 4 p. |
artikel |
10 |
An explicitly declared delayed-branch mechanism for a superscalar architecture
|
Collins, Roger |
|
1994 |
|
10-12 |
p. 677-680 4 p. |
artikel |
11 |
ASI Instrumentation
|
Švéda, Miroslav |
|
1994 |
|
10-12 |
p. 879-882 4 p. |
artikel |
12 |
Author index to volume 40 (1994)
|
|
|
1994 |
|
10-12 |
p. 943-947 5 p. |
artikel |
13 |
Automated derivation of protocols implementing intelligent network services
|
Pučko, M. |
|
1994 |
|
10-12 |
p. 707-710 4 p. |
artikel |
14 |
Automatic Protocol implementation - generating C++ code from SDL/PR specifications
|
Adamis, Gusztáv |
|
1994 |
|
10-12 |
p. 719-722 4 p. |
artikel |
15 |
A worst case timing analysis technique for instruction prefetch buffers
|
Lee, Minsuk |
|
1994 |
|
10-12 |
p. 681-684 4 p. |
artikel |
16 |
Clock cycle estimation based on dead time and control unit area minimization
|
Mecha, H. |
|
1994 |
|
10-12 |
p. 821-824 4 p. |
artikel |
17 |
Computer modelling of single sludge systems for the computer aided design and control of activated sludge processes
|
Sanders, D.A. |
|
1994 |
|
10-12 |
p. 867-870 4 p. |
artikel |
18 |
Concurrency control scheme in multi-level secure database management systems
|
Sohn, Yonglak |
|
1994 |
|
10-12 |
p. 733-736 4 p. |
artikel |
19 |
Conditional execution: an approach for eliminating the basic block barriers
|
Fernandes, Edil S.T. |
|
1994 |
|
10-12 |
p. 689-692 4 p. |
artikel |
20 |
Conformance testing of X-25 packet level
|
Miskolczi, J. |
|
1994 |
|
10-12 |
p. 703-705 3 p. |
artikel |
21 |
Constructing a domain dependent case-base for database schema design with case-based reasoning
|
Paek, Yong-Kee |
|
1994 |
|
10-12 |
p. 737-741 5 p. |
artikel |
22 |
Cost-optimal dynamic data replication for distributed database systems: DYVO
|
Lee, Youngkon |
|
1994 |
|
10-12 |
p. 747-750 4 p. |
artikel |
23 |
Coupling algorithms for replicated objects and processes
|
Gianuzzi, Vittoria |
|
1994 |
|
10-12 |
p. 799-802 4 p. |
artikel |
24 |
Database cache requirements calculation using near-line data access traces in a 500+ user transaction system
|
Schönbauer, Franz |
|
1994 |
|
10-12 |
p. 769-772 4 p. |
artikel |
25 |
Design and development of industrial measurement system—Architecture and software
|
Švéda, Miroslav |
|
1994 |
|
10-12 |
p. 887-889 3 p. |
artikel |
26 |
Development of object-oriented database management system: OOIM
|
Kim, Kyuho |
|
1994 |
|
10-12 |
p. 729-732 4 p. |
artikel |
27 |
Distributing quality-controlled software via the internet
|
Charlton, C.C. |
|
1994 |
|
10-12 |
p. 861-864 4 p. |
artikel |
28 |
Documenting the process of conformance testing
|
Ponce, Ana Maria |
|
1994 |
|
10-12 |
p. 715-717 3 p. |
artikel |
29 |
Experiences accumulated working towards medical decision support systems
|
Economou, G.-P.K. |
|
1994 |
|
10-12 |
p. 883-886 4 p. |
artikel |
30 |
Extending database programming language with declarative querying facilities
|
Savnik, Iztok |
|
1994 |
|
10-12 |
p. 905-908 4 p. |
artikel |
31 |
Fault tolerant programming for network based parallel computing
|
Clematis, A. |
|
1994 |
|
10-12 |
p. 765-768 4 p. |
artikel |
32 |
Hardware programming using C++
|
Mariatos, E.P. |
|
1994 |
|
10-12 |
p. 817-820 4 p. |
artikel |
33 |
High level architectural synthesis: Precedence analysis and automatic cycle detection in data flow graphs
|
Antola, Anna |
|
1994 |
|
10-12 |
p. 693-696 4 p. |
artikel |
34 |
HLL enhancement for stack based processors
|
Bailey, C. |
|
1994 |
|
10-12 |
p. 685-688 4 p. |
artikel |
35 |
HP-FLEXAR: A reconfigurable multi-unit heterogeneous topology architecture for time critical applications
|
Thor, Miroslaw |
|
1994 |
|
10-12 |
p. 777-781 5 p. |
artikel |
36 |
Image coding using vector quantization of wavelet coefficients
|
Dre, Chrissavgi |
|
1994 |
|
10-12 |
p. 927-930 4 p. |
artikel |
37 |
Implementing associations between objects
|
Mayes, Audrey |
|
1994 |
|
10-12 |
p. 811-814 4 p. |
artikel |
38 |
Internet and the electronic classroom
|
Fay, D.Q.M. |
|
1994 |
|
10-12 |
p. 847-850 4 p. |
artikel |
39 |
Introduction
|
|
|
1994 |
|
10-12 |
p. i- 1 p. |
artikel |
40 |
Measurements in software requirements specification process
|
Györkös, J. |
|
1994 |
|
10-12 |
p. 893-896 4 p. |
artikel |
41 |
MeT: The expert methodology tutor of GENITOR
|
Zaharakis, I.D. |
|
1994 |
|
10-12 |
p. 855-860 6 p. |
artikel |
42 |
Middleware transaction manager in multidatabase management systems
|
Jung, Inhwan |
|
1994 |
|
10-12 |
p. 755-758 4 p. |
artikel |
43 |
Morphological evaluation of embryo viability
|
Erényi, I. |
|
1994 |
|
10-12 |
p. 931-934 4 p. |
artikel |
44 |
Multiprocessor flight data acquisition system
|
Blazek, Zdenek |
|
1994 |
|
10-12 |
p. 871-874 4 p. |
artikel |
45 |
Multiresolution image decomposition with wavelet transform
|
Fazekas, Kalman |
|
1994 |
|
10-12 |
p. 923-926 4 p. |
artikel |
46 |
On the optimal mapping of fuzzy rules on standard micro-controllers
|
Nijhuis, Jos |
|
1994 |
|
10-12 |
p. 697-700 4 p. |
artikel |
47 |
Optimal evaluation of path predicates in object-oriented queries
|
Seo, Sang Koo |
|
1994 |
|
10-12 |
p. 751-754 4 p. |
artikel |
48 |
Pattern recognition with fuzzy neural network
|
Guštin, V. |
|
1994 |
|
10-12 |
p. 935-938 4 p. |
artikel |
49 |
Performance evaluation of a distributed system architecture
|
Ciccarella, Gianfranco |
|
1994 |
|
10-12 |
p. 803-806 4 p. |
artikel |
50 |
Proving properties of a new high speed data bus with predicate/transition nets
|
Pyssysalo, T. |
|
1994 |
|
10-12 |
p. 791-794 4 p. |
artikel |
51 |
PVM-based parallel computing: a case study on power plant simulation
|
Femminella, A |
|
1994 |
|
10-12 |
p. 875-878 4 p. |
artikel |
52 |
Reduction of fault detection costs through a BDD formalism
|
Ferrandi, Fabrizio |
|
1994 |
|
10-12 |
p. 841-844 4 p. |
artikel |
53 |
Reverse serializability as a correctness criterion for optimistic concurrency control
|
Kwon, Hyeokmin |
|
1994 |
|
10-12 |
p. 759-762 4 p. |
artikel |
54 |
Rounding error in the computation of opposite sign floating point number parametric addition: a case study
|
Bartolucci, Massimo |
|
1994 |
|
10-12 |
p. 833-839 7 p. |
artikel |
55 |
Scheduling cooperative transactions in distributed database systems
|
Kim, Kiyoung |
|
1994 |
|
10-12 |
p. 743-746 4 p. |
artikel |
56 |
Subject index to volume 40 (1994)
|
|
|
1994 |
|
10-12 |
p. 949-952 4 p. |
artikel |
57 |
The problems of designing a conversation scheme for concurrent object oriented languages
|
Romanovsky, A. |
|
1994 |
|
10-12 |
p. 897-900 4 p. |
artikel |
58 |
Three dimensional image synthesis in transputers
|
Verdú, I. |
|
1994 |
|
10-12 |
p. 919-922 4 p. |
artikel |
59 |
Towards a definition of benchmarks for parallel computers dedicated to image processing/understanding
|
Bonnin, Patrick |
|
1994 |
|
10-12 |
p. 783-787 5 p. |
artikel |
60 |
Towards amalgamating high-level synthesis and proof systems
|
Larsson, Mats |
|
1994 |
|
10-12 |
p. 909-912 4 p. |
artikel |
61 |
Using versioned object-oriented data in programming languages
|
Rykowski, Jarogniew |
|
1994 |
|
10-12 |
p. 901-904 4 p. |
artikel |
62 |
Validation of abstract test suites with use of SDL
|
Törő, Mária |
|
1994 |
|
10-12 |
p. 711-714 4 p. |
artikel |