Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. IFIP Congress 1992: Madrid, Spain
- Jan van Leeuwen:
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
- Deng-Jyi Chen, Shih-Kun Huang:
Interface for Reusable Software Components. IFIP Congress (1) 1992: 3-9 - Gary J. Murakami, Ravi Sethi:
Parallelism as a Structuring Technique: Call Processing using the Estrel Language. IFIP Congress (1) 1992: 10-16 - Arne Maus:
Entropy as a Complexity Measure, and the Optimal Module Size of Object Oriented Programs. IFIP Congress (1) 1992: 17-23 - Suresh C. Gupta, Mukul K. Sinha:
Design Validation Using Probe Mechanism. IFIP Congress (1) 1992: 24-31
Language Design
- D. A. Turner:
Functional Programming and Miranda. IFIP Congress (1) 1992: 32-41 - Ming-Yuan Zhu, Cheng-Wei Wang:
An Overview of Specification Language Universe. IFIP Congress (1) 1992: 42-48 - Christian Horn:
Oyster-2: Bringing Type Theory into Practice. IFIP Congress (1) 1992: 49-56
Technology Transfer and Education
- Priscilla J. Fowler, Linda Levine:
Toward A Problem Solving Approach To Software Technology Transition. IFIP Congress (1) 1992: 57-64 - Dines Bjørner:
From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research. IFIP Congress (1) 1992: 65-71
Software Development
- J. Christian Wild, Kurt Maly:
Software Life Cycle Support - Decision Based Software Development. IFIP Congress (1) 1992: 72-78 - Geoff Cutts:
An Approach to Modelling and Analysis of Parallel Information Systems. IFIP Congress (1) 1992: 79-85 - Judith D. Wilson, John T. Nosek, Nathan Hoskin, Lin L. Liou:
The Effect of Collaboration on Problem-Solving Performance Among Programmers. IFIP Congress (1) 1992: 86-93 - Jacques Hagelstein, G. Hulin:
GeSEM: A Model for Software Engineering Activities. IFIP Congress (1) 1992: 94-102
Formal Methods
- Jean-Raymond Abrial:
On Constructing Large Software Systems. IFIP Congress (1) 1992: 103-112 - Peter Kearney, John Staples, Abdu Abbas:
Functional Verification of Hard Real-Time Programs. IFIP Congress (1) 1992: 113-119 - Haféda Bachatène, Pascal Estraillier:
A Multiformalism Approach to Formalize Complex Distributed Systems. IFIP Congress (1) 1992: 120-126 - Xudong He, Yingjia Ding:
A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets. IFIP Congress (1) 1992: 127-133 - Robert Allen, David Garlan:
A Formal Approach to Software Architectures. IFIP Congress (1) 1992: 134-141 - Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso:
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. IFIP Congress (1) 1992: 142-148
Implementation of Languages and Systems
- Y. A. Frantsuzov:
Code SCheduling Via Time Model. IFIP Congress (1) 1992: 149-155 - Arno P. J. Gourdol, Laurence Nigay, Daniel Salber, Joëlle Coutaz:
Multimodal Systems: Aspects of Events Fusion and a Taxonomy. IFIP Congress (1) 1992: 156-162 - Manuel Díaz, Ernesto Pimentel, José M. Troya:
A Declarative Environment for Distributed Programming. IFIP Congress (1) 1992: 163-169 - Myuhng Joo Kim, Chu Shik Jhon, Tetsuo Ida:
G-system: A Functionally-Based Communication System Model for Parallel Processing. IFIP Congress (1) 1992: 170-178 - Karl J. Lieberherr:
Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes. IFIP Congress (1) 1992: 179-185
Tools and Automation
- Jiafu Xu, Daoxu Chen, Lu Jian, Zhijian Wang, Zongming Fei, Yousong Zhang, Qin Ding, Yingchun Zhu:
On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms. IFIP Congress (1) 1992: 186-192 - Yingsha Liao, Donald Cohen:
PMMS: A Framework and System for High Level Program Monitoring and Measuring. IFIP Congress (1) 1992: 193-199 - István Forgács:
The Precise Determination of Definition-Use Pairs in the Interprocedural Case. IFIP Congress (1) 1992: 200-209 - Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi, Sumio Masuda:
VTM: A Graph Editor for Large Trees. IFIP Congress (1) 1992: 210-216 - David Garlan:
Development Environments for Software Architecture. IFIP Congress (1) 1992: 217
Configuration Management and System Generation
- Steven P. Reiss:
Program Visualization: Where We Go From Here. IFIP Congress (1) 1992: 218-227 - Thomas Cheatham:
The Configuration Management of Families of Programs. IFIP Congress (1) 1992: 228-236 - Rajiv Gupta, Mary Lou Soffa:
Automatic Generation of a Compact Test Suit. IFIP Congress (1) 1992: 237-243 - Susan A. Dart:
The Past, Present, and Future of Configuration Management. IFIP Congress (1) 1992: 244-251 - Hassan Gomaa, Larry Kerschberg, Vijayan Sugumaran:
A Knowledge-Based Approach to Generating Target System Specifications from a Domain Model. IFIP Congress (1) 1992: 252-258
Algorithms and Efficient Computation
Number-theoretic and Algebraic Computation
- Hiraku Nakano, Masaitsu Nakajima, Yasuhiro Nakakura, Tadahiro Yoshida, Yoshiyuki Goi, Yuji Nakai, Reiji Segawa, Takeshi Kishida:
An Accurate, High Speed Implementation of Division by the Quasi-Unity Divisor Method. IFIP Congress (1) 1992: 261-267 - Ryszard Stasinski:
Reducing Multiplicative Complexity of Polynomial Algebra Algorithms. IFIP Congress (1) 1992: 268-274
Parallel Algorithms
- Jingsen Chen:
Constructing Priority Queues and Deques Optimally in Parallel. IFIP Congress (1) 1992: 275-283 - Lih-Hsing Hsu, Peng-Fei Wang, Chu-Tao Wu:
Parallel Algorithms for Finding the Most Vital Edge with Respect to Minimum Spanning Tree. IFIP Congress (1) 1992: 284-290 - Frank Thomson Leighton, Bruce M. Maggs:
The Role of Randomness in the Design of Interconnection Networks. IFIP Congress (1) 1992: 291-305
Complexity Theory
- Juraj Wiedermann:
Optimal Algorithms for Sorting on Single-tape Turing Machines. IFIP Congress (1) 1992: 306-314 - José L. Balcázar, Montserrat Hermo, Elvira Mayordomo:
Characterizations of Logarithmic Advice Complexity Classes. IFIP Congress (1) 1992: 315-321 - Kazuo Iwama, Hidetoshi Abeta, Eiji Miyano:
Random Generation of Satisfiable and Unsatisfiable CNF Predicates. IFIP Congress (1) 1992: 322-328 - Hava T. Siegelmann, Eduardo D. Sontag, C. Lee Giles:
The Complexity of Language Recognition by Neural Networks. IFIP Congress (1) 1992: 329-335
Neural Networks
- Ryotaro Kamimura:
Complexity Term to Generate Explicit Internal Representation in Recurrent Neural Networks. IFIP Congress (1) 1992: 336-342 - Erol Gelenbe:
Learning with the Recurrent Random Neural Network. IFIP Congress (1) 1992: 343-349
Distrubuted Computing
- Xiaotie Deng, Christos H. Papadimitriou:
Competitive Distributed Decision-Making. IFIP Congress (1) 1992: 350-356 - Xinfeng Ye, John A. Keane:
Token Scheme: An Algorithm for Distributed Termination Detection and Its Proof of Correctness. IFIP Congress (1) 1992: 357-364
Concurrency and Simulation
- Xiaohua Jia, Yanchun Zhang:
An Optimistic Algorithm for Concurrent Accesses to a Single Replicated File. IFIP Congress (1) 1992: 365-371 - Ziqiang Liu, Lars-Erik Thorelli, Handong Wu:
HSIM: A Hybrid of Sequential and Parallel Discrete-Event Simulation. IFIP Congress (1) 1992: 372-378
Computational Geometry and Robotics
- Jean-Daniel Boissonnat:
Some New Research Directions in Robot Motion Planning. IFIP Congress (1) 1992: 379-380 - A. El-Dessouki, T. El-Shishtawy, A. El-Mahdi:
A Path Planning Algorithm for Three Link Manipulator. IFIP Congress (1) 1992: 381-387 - Nancy Hitschfeld, Stephan Müller, Wolfgang Fichtner:
Generation of 3-D Delaunay Meshes for Complex Geometries using Iterative Refinement. IFIP Congress (1) 1992: 388-394
Graph and Network Algorithms
- Arlene Fortunato Machado, Clovis Perin Filho:
A Generalization of the Maximal Closure of a Digraph. IFIP Congress (1) 1992: 395-401 - Maw-Shang Chang:
Efficient Algorithms for the Domination Problems on Interval and Circular-Arc Graphs. IFIP Congress (1) 1992: 402-408 - Angel Plaza, Luis Ferragut, Rafael Montenegro:
Derefinement Algorithms of Nested Meshes. IFIP Congress (1) 1992: 409-415
Algorithm Design and Network Algorithm
- Richard M. Karp:
On-Line Algorithms Versus Off-Line Algorithms: How Much is it Worth to Know the Future? IFIP Congress (1) 1992: 416-429 - Lei Zhang:
Polynomial Algorithms for the k-Chinese Postman Problem. IFIP Congress (1) 1992: 430-435 - Ting-Yi Sung, Lih-Hsing Hsu, Jeng-Yan Hwang:
Data Structure for Graph Representations of a Network Having Double Euler Trails. IFIP Congress (1) 1992: 436-442
Fundamental Algorithms
- Walter Cunto, S. Kashima, Manuel Rey:
A New Algorithm for Selecting the Median, Two Quartiles, Minimum and Maximum of a Set of Numbers. IFIP Congress (1) 1992: 443-448 - Naoyuki Tokuda:
An Improved Shellsort. IFIP Congress (1) 1992: 449-457 - Shmuel Ur, Michael A. Trick, Daniel Dominic Sleator:
Analysis of Online Algorithms for Organ Allocation. IFIP Congress (1) 1992: 458-464
Algorithm for Text Retrieval
- Ricardo A. Baeza-Yates:
Text-Retrieval: Theory and Practice. IFIP Congress (1) 1992: 465-476
Data Structures and Efficiency
- Pierre Nicodème:
Compact Balanced Tries. IFIP Congress (1) 1992: 477-483 - Esko Ukkonen:
Constructing Suffix Trees On-Line in Linear Time. IFIP Congress (1) 1992: 484-492 - Kurt Mehlhorn, Stefan Näher:
Algorithm Design and Software Libraries: Recent Developments in the LEDA Project. IFIP Congress (1) 1992: 493-505
From Architectures to Chips
Parallel and Distributed Computing
- Winfried Hahn, Andreas Hagerer, H. Anger:
Update-Dataflow Computing: A Way to Supercomputing in Discrete Simulation of Digital Systems. IFIP Congress (1) 1992: 509-517 - Geraldo Lino de Campos:
Asynchronous Polycyclic Architecture: An Overview. IFIP Congress (1) 1992: 518-524 - Jian Luo, Gerard Louis Reijns:
Linear Programming on Transputers. IFIP Congress (1) 1992: 525-534 - Shigeru Kusakabe, Takahide Hoshide, Rin-Ichiro Taniguchi, Makoto Amamiya:
Parallelism Control and Storage Management in Datarol PE. IFIP Congress (1) 1992: 535-541 - Thomas Bemmerl:
Technology for TeraFLOPS Computing. IFIP Congress (1) 1992: 542 - Gerard L. Reijns:
Panel: Parallel and Distributed Computing - Distributed Memory or Shared Memory Systems? IFIP Congress (1) 1992: 543-544
Interconnection
- Qiang Li:
A Deadlock-free Adaptive Routing Algorithm for Direct Binary Hypercubes. IFIP Congress (1) 1992: 545-554 - Takeshi Horie, Hiroaki Ishihata, Morio Ikesaka:
Design and Implementation of an Interconnection Network for the AP1000. IFIP Congress (1) 1992: 555-561 - D. J. Rogers, Roland N. Ibbett:
Xbar: A VLSI Circuit for Bit-sliced Packet Switching Networks. IFIP Congress (1) 1992: 562-570 - Hideharu Amano, Luo Zhou, Kalidou Gaye:
SSS (Simple Serial Synchronized)-MIN: A Novel Multi Stage Interconnection Architecture for Multiprocessors. IFIP Congress (1) 1992: 571-577 - Gerard J. M. Smit, Paul J. M. Havinga, Pierre G. Jansen:
A Programmable Communication Architecture Based on Kautz Networks. IFIP Congress (1) 1992: 578-584
Dependability
- Jean-Claude Laprie:
Dependability: A Unifying Concept for Reliable, Safe, Secure Computing. IFIP Congress (1) 1992: 585-593 - K. H. Kim:
Pre-2000 Maturing of the Real-Time Fault-Tolerant Distributed Computing Technology. IFIP Congress (1) 1992: 595 - Hermann Kopetz:
Active Redundancy in Distributed Real-Time Systems. IFIP Congress (1) 1992: 595 - Gérard Le Lann:
What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems? IFIP Congress (1) 1992: 596-597 - Luca Simoncini:
Design Description Languages for the Design of Predictability Dependable Real-Time Systems. IFIP Congress (1) 1992: 598 - T. Basil Smith:
Coping with Timing Uncertainties in Distributed Real-Time Systems. IFIP Congress (1) 1992: 599
Dependability and Performance
- Michele Morganti:
Dependability Issues in Telecommunications. IFIP Congress (1) 1992: 600-607 - Min-Sheng Lin, Deng-Jyi Chen:
Distributed Reliability Analysis. IFIP Congress (1) 1992: 608-614 - Hiroshi Muramatsu, Masahiro Date, Hiroshi Yoshida, Masaharu Kitaoka, Norio Kurobane:
Operating System SXO for Continuous Operation. IFIP Congress (1) 1992: 615-621 - Satoshi Moriguchi:
Performance and Performability Evaluation of Client Server Systems by Stochastic Petri Nets. IFIP Congress (1) 1992: 622-628 - Rodrigo Torres, Kiichi Shibata, Mitsuru Yokoi:
Performability Modeling and Its Evaluation Tool for Network Disconnection. IFIP Congress (1) 1992: 629-635
Architectures and Chips
- John F. Meyer:
The Role of Modeling and Evaluation in the Design Process. IFIP Congress (1) 1992: 636-644 - Kurt Maly, Sanjeev Khanna, C. Michael Overstreet, Ravi Mukkamala, Mohammad Zubair, Y. S. Sekhar:
Multiprocessor Architectures for High Speed Networks: A Performance Study. IFIP Congress (1) 1992: 645-651 - Hideo Nakamura, Kiyoshi Takeshi:
Fault-Tolerant Microcomputer Design and Application for Railway Train Control. IFIP Congress (1) 1992: 652-658 - Wieslaw Lucjan Nowinski:
Design for a Ray Casting Integrated Circuit. IFIP Congress (1) 1992: 659-666 - Kenichi Suzaki, Shinji Araya, Ryozo Nakamura:
Three-Layer Neural Network Models for Rotated Patterns Recognition. IFIP Congress (1) 1992: 667-673
VLSI Technology and Concurrent Engineering
- Hajime Ishikawa:
Progress Trends and Perspective of VLSI Technology. IFIP Congress (1) 1992: 674-682 - Manfred Broy:
Reliable Systems Enginerring (Position Statement). IFIP Congress (1) 1992: 683
Hardware Design
- Alain J. Martin:
Tomorrow's Digital Hardware will be Asynchronous and Verified. IFIP Congress (1) 1992: 684-695 - Tiziana Margaria:
Efficient RT-Level Verification by Theorem Proving. IFIP Congress (1) 1992: 696-702 - P. Johannes, Luc J. M. Claesen, Hugo De Man:
Performance Through Hierarchy in Static Timing Verification. IFIP Congress (1) 1992: 703-709 - Gerry Musgrave:
Formal Methods For Design. IFIP Congress (1) 1992: 710 - Raymond T. Boute:
Declarative Languages For CAD: The Return From Algorithm Design Back To System Design. IFIP Congress (1) 1992: 711 - Randal E. Bryant:
Formal Verification: A Slow, but Certain Evolution. IFIP Congress (1) 1992: 712 - Michael P. Fourman:
The CAD Tool of the Future. IFIP Congress (1) 1992: 713 - Franz J. Rammig:
System Level Design: The New Challenge. IFIP Congress (1) 1992: 714
a service of 
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-04-15 20:33 CEST 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:
