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 
@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
- Dines Bjørner:
From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research.
65-71
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
- Yingsha Liao, Donald Cohen:
PMMS: A Framework and System for High Level Program Monitoring and Measuring.
193-199
- István Forgács:
The Precise Determination of Definition-Use Pairs in the Interprocedural Case.
200-209
- Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi, Sumio Masuda:
VTM: A Graph Editor for Large Trees.
210-216
- David Garlan:
Development Environments for Software Architecture.
217
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
- Erol Gelenbe:
Learning with the Recurrent Random Neural Network.
343-349
Distrubuted Computing
Concurrency and Simulation
Computational Geometry and Robotics
Graph and Network Algorithms
Algorithm Design and Network Algorithm
- Richard M. Karp:
On-Line Algorithms Versus Off-Line Algorithms: How Much is it Worth to Know the Future?
416-429
- Lei Zhang:
Polynomial Algorithms for the k-Chinese Postman Problem.
430-435
- Ting-Yi Sung, Lih-Hsing Hsu, Jeng-Yan Hwang:
Data Structure for Graph Representations of a Network Having Double Euler Trails.
436-442
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
- K. H. Kim:
Pre-2000 Maturing of the Real-Time Fault-Tolerant Distributed Computing Technology.
595
- Hermann Kopetz:
Active Redundancy in Distributed Real-Time Systems.
595
- Gérard Le Lann:
What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems?
596-597
- Luca Simoncini:
Design Description Languages for the Design of Predictability Dependable Real-Time Systems.
598
- T. Basil Smith:
Coping with Timing Uncertainties in Distributed Real-Time Systems.
599
Dependability and Performance
Architectures and Chips
VLSI Technology and Concurrent Engineering
- Hajime Ishikawa:
Progress Trends and Perspective of VLSI Technology.
674-682
- Manfred Broy:
Reliable Systems Enginerring (Position Statement).
683
Hardware Design
Copyright © Sat Nov 21 00:15:20 2009
by Michael Ley (ley@uni-trier.de)
