Jan van Leeuwen (Ed.):
Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992.
IFIP Transactions A-12 North-Holland 1992, ISBN 0-444-89747-X BibTeX
@proceedings{DBLP:conf/ifip/1992-1,
editor = {Jan van Leeuwen},
title = {Algorithms, Software, Architecture - Information Processing '92,
Volume 1, Proceedings of the IFIP 12th World Computer Congress,
Madrid, Spain, 7-11 September 1992},
booktitle = {IFIP Congress (1)},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {A-12},
year = {1992},
isbn = {0-444-89747-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Software Development and Maintenance
Design and Analysis
Language Design
Technology Transfer and Education
- Priscilla J. Fowler, Linda Levine:
Toward A Problem Solving Approach To Software Technology Transition.
57-64 BibTeX
- Dines Bjørner:
From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research.
65-71 BibTeX
Software Development
Formal Methods
Implementation of Languages and Systems
Tools and Automation
- Jiafu Xu, Daoxu Chen, Lu Jian, Wang Zhijian, Zongming Fei, Zhang Yousong, Qin Ding, Zhu Yingchun:
On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms.
186-192 BibTeX
- Yingsha Liao, Donald Cohen:
PMMS: A Framework and System for High Level Program Monitoring and Measuring.
193-199 BibTeX
- István Forgács:
The Precise Determination of Definition-Use Pairs in the Interprocedural Case.
200-209 BibTeX
- Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi, Sumio Masuda:
VTM: A Graph Editor for Large Trees.
210-216 BibTeX
- David Garlan:
Development Environments for Software Architecture.
217 BibTeX
Configuration Management and System Generation
Algorithms and Efficient Computation
Number-theoretic and Algebraic Computation
Parallel Algorithms
Complexity Theory
Neural Networks
- Ryotaro Kamimura:
Complexity Term to Generate Explicit Internal Representation in Recurrent Neural Networks.
336-342 BibTeX
- Erol Gelenbe:
Learning with the Recurrent Random Neural Network.
343-349 BibTeX
Distrubuted Computing
Concurrency and Simulation
Computational Geometry and Robotics
Graph and Network Algorithms
Algorithm Design and Network Algorithm
Fundamental Algorithms
Algorithm for Text Retrieval
Data Structures and Efficiency
From Architectures to Chips
Parallel and Distributed Computing
Interconnection
Dependability
- Jean-Claude Laprie:
Dependability: A Unifying Concept for Reliable, Safe, Secure Computing.
585-593 BibTeX
- K. H. Kim:
Pre-2000 Maturing of the Real-Time Fault-Tolerant Distributed Computing Technology.
595 BibTeX
- Hermann Kopetz:
Active Redundancy in Distributed Real-Time Systems.
595 BibTeX
- Gérard Le Lann:
What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems?
596-597 BibTeX
- Luca Simoncini:
Design Description Languages for the Design of Predictability Dependable Real-Time Systems.
598 BibTeX
- T. Basil Smith:
Coping with Timing Uncertainties in Distributed Real-Time Systems.
599 BibTeX
Dependability and Performance
Architectures and Chips
VLSI Technology and Concurrent Engineering
Hardware Design
Copyright © Sat May 16 23:22:33 2009
by Michael Ley (ley@uni-trier.de)
