![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Future Generation Computer Systems, Volume 7
Volume 7, Number 1, October 1991
- E. Paris:
Preface. 1 - Livio Baldi:
Microelectronics trends. 3-13 - Jean-Jacques Duby:
The evolution of information technologies in the 90s and its impact on applications. 15-21 - Marco Maiocchi:
Software engineering. 23-29 - Louis O. Hertzberger:
Trends in parallel and distributed computing. 31-40 - Peter C. Lockemann, Alfons Kemper, Guido Moerkotte:
Future database technology: driving forces and directions. 41-54 - Jim Howe:
Knowledge-based systems and artificial intelligence: emerging technology. 55-68 - Françoise Fogelman-Soulié:
Neural networks and computing. 69-77 - Neil F. Dinn:
Network architectures. 79-89 - Ian Brackenbury, Howard Sachar:
The road to multimedia. 91-96 - Hans-Peter Wiendahl, Ralf Garlichs:
Trends in computer-integrated manufacturing. 97-107
Volume 7, Numbers 2-3, April 1992
- Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund:
Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS. 111-138 - Bill Curtis:
Insights from empirical studies of the software design process. 139-149 - Susumu Shibusawa:
The Cubemat: A parallel interconnection model consisting of hypercube and global bus connections. 151-160 - Hiroshi Umeo, Thomas Worsch, Roland Vollmar:
On the power of global-bus in mesh-connected architectures. 161-168 - Manoj Kumar, Yurij Baransky:
The GF11 parallel computer: Programming and performance. 169-179 - Reiner W. Hartenstein, Alexander G. Hirschbiel, Karin Schmidt, M. Weber:
A novel paradigm of parallel computation and its use to implement simple high-performance hardware. 181-198 - Yuetsu Kodama, Shuichi Sakai
, Yoshinori Yamaguchi:
A prototype of a highly parallel dataflow machine EM-4 and its preliminary evaluation. 199-209 - Hiroshi G. Okuno
:
Experience of parallel AI programming with parallel Lisp. 211-219 - David A. Padua:
Problem-solving environments for parallel computers. 221-229 - Claudio Bettini
, Luca Spampinato:
The connection machine opportunity for the implementation of a concurrent functional language. 231-245 - Nagatsugu Yamanouchi:
Performance effects of program structures on a snoop-cached multiprocessor system. 247-258 - Henry H. Y. Chang, Bryan Rosenburg:
Experience porting Mach to the RP3 large-scale shared-memory multiprocessor. 259-267 - Koichi Furukawa:
Current research status and future direction of the fifth generation computer project. 269-273 - Ushio Kawabe:
The status quo and prospect of Josephson junction device technology. 275-282 - Masayuki Abe:
Present status of HEMT LSI technology. 283-291 - Noboru Akima, Shuji Nakata, Akiyoshi Nishijima, Tetsuya Kubo, Yasuo Konishi:
Sigma system: Concepts and structure. 293-302 - Anant Agrawal, Robert B. Garner:
SPARC: A scalable processor architecture. 303-309 - Yoshikazu Kobayashi:
A perspective of OSI standardization: Object-oriented architecture for distributed processing. 311-316 - Won Kim, Mark Scheevel, Chris Tomlinson:
Object-oriented databases for new applications. 317-327 - Wolfgang Johannsen:
Transaction models for federative distributed database systems. 329-337
Volume 7, Number 4, May 1992
- F. Allard:
Artificial intelligence and space. 341-342 - Philippe Deves, Cécile Fischer, Patrick Taillibert:
An alternative to expert systems for electrical diagnosis. 343-352 - Jean Patrick Tsang, Gilles Cardonne:
An AI approach to automate the preliminary design phase of electronic equipment for satellites. 353-364 - Jean-Marc Brenot, Yann Parrod, Didier Aubin, Christian Parquet:
ARIANEXPERT: A knowledge based system to analyze ARIANE's mission data. 365-377 - Ingeborg Sølvberg, Inge Nordbø, Agnar Aamodt:
Knowledge-based information retrieval. 379-390 - G. Ohlendorf, N. Schielow:
NEPTUNE: A new expert planning tool for users in a network environment. 391-401 - M. M. Arentoft, Jean-Jacques Fuchs, Yann Parrod, A. Gasquet, J. Stader, I. Stokes, H. Vadon:
OPTIMUM-AIV: A planning and scheduling system for spacecraft AIV. 403-412 - Tim J. Grant:
A review of Multi-Agent Systems techniques, with application to Columbus User Support Organisation. 413-437 - Herwig A. Laue:
ATOS - An AI-based space mission operations system. 439-451 - Jean-Pierre Courtin, Pierre-Yves Schmerber, Jean Christophe Chautard, Sylvain Martin, Pascal Marrot, François Arlabosse, Nathalie Porté:
SATEXPERT: A knowledge-based system for spacecraft control. 453-464
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.