default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFuture Generation Computer Systems, Volume 9
Volume 9, Number 1, May 1993
- Andrew Grant, Peter Dew:
MeikUS 92. 3-4 - Paul J. Mitchell, D. Fincham:
Multicomputer molecular dynamics. 5-10 - A. R. Clare, D. P. Stevens:
Implementing finite difference ocean circulation models on MIMD, distributed memory computers. 11-18 - Fabio Reale
, Marco Barbera, S. Sciortino:
A parallel 2-d hydrodynamic FORTRAN code for astrophysical applications on a Meiko computing surface. 19-24 - Iain Cramb, Norman Winterbottom:
Evaluation of a database application on a Meiko multisparc Oracle platform. 25-31 - Jun Cui, Terence C. Fogarty, John G. Gammack:
Searching databases using parallel genetic algorithms on a transputer computing surface. 33-40 - John A. Keane:
Parallelising a financial system. 41-51 - Andrew Grant, Robert Dickens:
An implementation of a portable instrumented communication library using CS tools. 53-61 - Giuseppe Marino, Giancarlo Succi, G. Levo, R. Pavesio:
NAUTA: A network administration utility for transputer architectures. 63-72
Volume 9, Number 2, July 1993
- Reind P. van de Riet:
Guest editorial: Fifth generation computer systems: Success or failure? 79-81 - Reind P. van de Riet:
An overview and appraisal of the Fifth Generation Computer System project. 83-103 - Edward A. Feigenbaum, Howard E. Shrobe:
The Japanese national Fifth Generation project: Introduction, survey, and evaluation. 105-117 - Henri E. Bal:
Evaluation of KL1 and the inference machine. 119-125 - Evan Tick:
Appraisal of parallel processing research at ICOT. 127-136 - James Barnett, Kenji Yamada:
Evaluation of ICOT's natural language research. 137-142 - Mark E. Stickel:
Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers. 143-152 - Shojiro Nishio:
An evaluation of the FGCS data & knowledge base system - expectations and achievements. 153-158
Volume 9, Number 3, September 1993
- Gad Aharoni, Amnon Barak, Yaron Farber:
An adaptive granularity control algorithm for the parallel execution of functional programs. 163-174 - Marcel Beemster, Pieter H. Hartel, Louis O. Hertzberger, Rutger F. H. Hofman, Koen Langendoen, L. L. Li, R. Milikowski, Willem G. Vree, Hendrik Pieter Barendregt, J. C. Mulder:
Experience with a clustered parallel reduction machine. 175-200 - Manuel Díaz, José M. Troya:
A parlog based real-time distributed logic environment. 201-218 - Lanfranco Lopriore:
A data cache for Prolog architectures. 219-234 - Yen-Jen Oyang, David Jinsung Sheu, Chih-Yuan Cheng, Cheng-Zen Yang:
The M2 hierarchical multiprocessor. 235-240 - John G. Vaughan:
A logical-time-based approach to decentralised resource allocation in distributed systems. 241-257 - Kang Zhang:
Exploiting OR-parallelism in logic programs: A review. 259-280
Volume 9, Number 4, December 1993
- J. Fuchs:
AI and space. 285-286 - A. de Saint Vincent, F. Lecouat, G. Leonis, F. Allard:
PREVISE: A knowledge-based system to support the preparation and verification of space operations procedures. 287-301 - Christophe Bastien-Thiry:
SE-TC2: Telecom 2 expert system (The first expert system in a CNES Satellite Control Centre). 303-309 - Dinh Phuoc Vo, David J. Macchion:
A use of case-based reasoning technique in building expert systems. 311-319 - François D'Heygère, Pierre Mariot, Jean-Baptiste Renard:
QUATRAIN - A design support tool and a data processing sequence supervisor. 321-328 - R. R. Bakker, P. C. A. van den Bempt, Nicolaas J. I. Mars, D.-J. Out, D. C. van Soest:
Issues in practical model-based diagnosis. 329-337 - Thierry D. Fualdes, Claude J. Barrouil:
A common framework for reasoning on uncertainty both at symbolic and numerical levels. 339-347 - H. N. Smith, K. J. Poulter:
The elements of an open KBS infrastructure. 349-369 - Erik Hollnagel:
ViVa: A systematic approach to verification, improvement and validation of knowledge-based systems. 371-378
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
