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 Software Development and Maintenance
Design and Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Arne Maus :
Entropy as a Complexity Measure, and the Optimal Module Size of Object Oriented Programs.
17-23
export record as
dblp key:
Language Design
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Technology Transfer and Education
export record as
dblp key:
export record as
dblp key:
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
export record as
dblp key:
export record as
dblp key:
Geoff Cutts :
An Approach to Modelling and Analysis of Parallel Information Systems.
79-85
export record as
dblp key:
export record as
dblp key:
Formal Methods
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Xudong He ,
Yingjia Ding :
A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets.
127-133
export record as
dblp key:
export record as
dblp key:
Implementation of Languages and Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Karl J. Lieberherr :
Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes.
179-185
Tools and Automation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
István Forgács :
The Precise Determination of Definition-Use Pairs in the Interprocedural Case.
200-209
export record as
dblp key:
export record as
dblp key:
David Garlan :
Development Environments for Software Architecture.
217
Configuration Management and System Generation
export record as
dblp key:
export record as
dblp key:
Thomas Cheatham :
The Configuration Management of Families of Programs.
228-236
export record as
dblp key:
export record as
dblp key:
Susan A. Dart :
The Past, Present, and Future of Configuration Management.
244-251
export record as
dblp key:
Algorithms and Efficient Computation
Number-theoretic and Algebraic Computation
export record as
dblp key:
conf/ifip/NakanoNNYGNSK92 export record as
dblp key:
Ryszard Stasinski :
Reducing Multiplicative Complexity of Polynomial Algebra Algorithms.
268-274
Parallel Algorithms
export record as
dblp key:
Jingsen Chen :
Constructing Priority Queues and Deques Optimally in Parallel.
275-283
export record as
dblp key:
export record as
dblp key:
Complexity Theory
export record as
dblp key:
Juraj Wiedermann :
Optimal Algorithms for Sorting on Single-tape Turing Machines.
306-314
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Neural Networks
export record as
dblp key:
Ryotaro Kamimura :
Complexity Term to Generate Explicit Internal Representation in Recurrent Neural Networks.
336-342
export record as
dblp key:
Erol Gelenbe :
Learning with the Recurrent Random Neural Network.
343-349
Distrubuted Computing
export record as
dblp key:
export record as
dblp key:
Xinfeng Ye ,
John A. Keane :
Token Scheme: An Algorithm for Distributed Termination Detection and Its Proof of Correctness.
357-364
Concurrency and Simulation
export record as
dblp key:
export record as
dblp key:
Computational Geometry and Robotics
export record as
dblp key:
export record as
dblp key:
conf/ifip/El-DessoukiEE92 export record as
dblp key:
Graph and Network Algorithms
export record as
dblp key:
export record as
dblp key:
Maw-Shang Chang :
Efficient Algorithms for the Domination Problems on Interval and Circular-Arc Graphs.
402-408
export record as
dblp key:
Algorithm Design and Network Algorithm
export record as
dblp key:
Richard M. Karp :
On-Line Algorithms Versus Off-Line Algorithms: How Much is it Worth to Know the Future?
416-429
export record as
dblp key:
Lei Zhang :
Polynomial Algorithms for the k-Chinese Postman Problem.
430-435
export record as
dblp key:
Fundamental Algorithms
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Algorithm for Text Retrieval
export record as
dblp key:
Data Structures and Efficiency
export record as
dblp key:
export record as
dblp key:
Esko Ukkonen :
Constructing Suffix Trees On-Line in Linear Time.
484-492
export record as
dblp key:
From Architectures to Chips
Parallel and Distributed Computing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gerard L. Reijns :
Panel: Parallel and Distributed Computing - Distributed Memory or Shared Memory Systems?
543-544
Interconnection
export record as
dblp key:
Qiang Li :
A Deadlock-free Adaptive Routing Algorithm for Direct Binary Hypercubes.
545-554
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Dependability
export record as
dblp key:
Jean-Claude Laprie :
Dependability: A Unifying Concept for Reliable, Safe, Secure Computing.
585-593
export record as
dblp key:
K. H. Kim :
Pre-2000 Maturing of the Real-Time Fault-Tolerant Distributed Computing Technology.
595
export record as
dblp key:
Hermann Kopetz :
Active Redundancy in Distributed Real-Time Systems.
595
export record as
dblp key:
Gérard Le Lann :
What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems?
596-597
export record as
dblp key:
Luca Simoncini :
Design Description Languages for the Design of Predictability Dependable Real-Time Systems.
598
export record as
dblp key:
T. Basil Smith :
Coping with Timing Uncertainties in Distributed Real-Time Systems.
599
Dependability and Performance
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ifip/MuramatsuDYKK92 export record as
dblp key:
Satoshi Moriguchi :
Performance and Performability Evaluation of Client Server Systems by Stochastic Petri Nets.
622-628
export record as
dblp key:
Architectures and Chips
export record as
dblp key:
John F. Meyer :
The Role of Modeling and Evaluation in the Design Process.
636-644
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
VLSI Technology and Concurrent Engineering
export record as
dblp key:
Hajime Ishikawa :
Progress Trends and Perspective of VLSI Technology.
674-682
export record as
dblp key:
Manfred Broy :
Reliable Systems Enginerring (Position Statement).
683
Hardware Design
export record as
dblp key:
Alain J. Martin :
Tomorrow's Digital Hardware will be Asynchronous and Verified.
684-695
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Raymond T. Boute :
Declarative Languages For CAD: The Return From Algorithm Design Back To System Design.
711
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
