-
International Workshop on Multi-Media Database Management Systems : proceedings, August 28-30, 1995, Blue Mountain Lake, New York
Multimedia systems;Database management;Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1995
-
Parallel computing using the prefix problem
Computer algorithms;Parallel programming (Computer science);REFERENCE;sähkökirjat
Lakshmivarahan, S;Dhall, Sudarshan Kumar - Oxford University Press 1994
-
Turing Machines with Sublogarithmic Space
Logic design;Computer science;Logic, Symbolic and mathematical;Logics and Meanings of Programs;Mathematical Logic and Formal Languages;Mathematical Logic and Foundations
Szepietowski, Andrzej - Imprint: Springer 1994 1st ed. 1994.
-
Proceedings of the 1994 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems
Engineering & Applied Sciences;Computer Science
Dowdy, Larry - ACM 1994
-
Proceedings of the First International Workshop on Massively Parallel Processing Using Interconnections, April 26-27, 1994, Cancún, Mexico
Parallel processing (Electronic computers);Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1994
-
Proceedings of the Scalable Parallel Libraries Conference , October 6-8, 1993, Mississippi State, Mississippi
Parallel processing (Electronic computers);Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1994
-
Proceedings of the Scalable High-Performance Computing Conference, May 23-25, 1994, Knoxville, Tennessee
Parallel processing (Electronic computers);Multiprocessors;Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1994
-
11th IEEE Workshop on Real-Time Operating Systems and Software, RTOSS '94 : proceedings, May 18-19, 1994, Seattle, Washington
Real-time data processing;Operating systems (Computers);Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1994
-
CONCUR '94: Concurrency Theory : 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
Computer logic;Computers;Programming languages (Electronic computers);Logics and Meanings of Programs;Computation by Abstract Devices;Programming Languages, Compilers, Interpreters
Jonsson, Bengt;Parrow, Joachim - Imprint: Springer 1994 1st ed. 1994.
-
Scientific computing with automatic result verification
Computer science;Electronic data processing;algorithme numérique;calcul scientifique;environnement logiciel;langage scientifique;science ingénieur;vérification automatique;Numerical analysis;Use of;Computers;sähkökirjat
Adams, Ernst;Kulisch, Ulrich - Academic Press 1993
-
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Logic design;Operating systems (Computers);Software engineering;Electronics;Logic, Symbolic and mathematical;Logics and Meanings of Programs;Operating Systems;Software Engineering/Programming and Operating Systems;Electronics and Microelectronics, Instrumentation;Mathematical Logic and Foundations
Bochmann, Gregor von;Probst, David K - Imprint: Springer 1993 1st ed. 1993.
-
Proceedings of WESCON '93 : 28-30 September 1993, San Francisco, CA, USA
Microprocessors;Microelectronics;Electronics
- Institute of Electrical and Electronics Engineers 1993
-
1993 Parallel Rendering Symposium : proceedings, San Jose, California, October 25-26, 1993
Parallel processing (Electronic computers);Computer graphics;Algorithms;Engineering & Applied Sciences;Computer Science
Crockett, Thomas - Association for Computing Machinery 1993
-
Proceedings of the fifth annual ACM Symposium on Parallel Algorithms and Architectures
Engineering & Applied Sciences;Computer Science
Snyder, Lawrence - ACM 1993
-
New frontiers: a workshop on future directions of massively parallel proceessing : proceedings, October 19, 1992, McLean, Virginia, The
Parallel processing (Electronic computers);Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1993
-
ASAP '93 : proceedings of International Conference on Applications Specific Array Processors : October 25-27 1993, Venice, Italy
Array processors;Signal processing
Dadda, Luigi;Wah, Benjamin - Institute of Electrical and Electronics Engineers 1993
-
Proceedings of the 1993 International Conference on Parallel Processing. : August 16-20, 1993 / Algorithms & applications : Volume III
Parallel processing (Electronic computers);Computer architecture
Hariri, Salim;Berra, P. Bruce - CRC Press 1993
-
Real-time systems : implementation of industrial computerised process automation
Process control;Real-time data processing;e-böcker
Halang, Wolfgang A;Sacha, Krzysztof M - World Scientific 1992
-
Computing the future : a broader agenda for computer science and engineering
Computer science;Engineering;Ingeniería;COMPUTERS;sähkökirjat
Hartmanis, Juris;Lin, Herbert - National Academy Press 1992
-
Frontiers '92, the Fourth Symposium on the Frontiers of Massive Parallel Computation, October 19-21, 1992, McLean, Virginia
Parallel processing (Electronic computers);Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1992