13. IFIP Congress 1994: Hamburg, Germany

Bjorn Pehrson, Imre Simon (Eds.): Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994. North-Holland, 1994, ISBN 0-444-81989-4

Track 1 - Hardware and Software Technology

Expert and Invited Lectures

Y. Yamamoto, I. Chuang: Physical Limits For Computing And Communication. 3-14 BibTeX
Jan Swerup, Dany Suk, Per Berqvist: C&C Integration - How Does Industry Cope? 15-19 BibTeX
Ken Blakeslee, Ian Sugarbroad: The Evolution of Personal Computing and Communications Environments. 21-26 BibTeX
Raymond C. Williams: Centralized Management in a Distributed World. 27-33 BibTeX
Gerard J. Holzmann: The Theory and Practice of A Formal Method: NewCoRe. 35-44 BibTeX
Bruce G. Lindsay: From Data Management To Information Exploitation. 45-48 BibTeX
Nobuyoshi Terashima: Telesensation - Distributed Interactive Virtual Reality - Overview and Prospects. 49-59 BibTeX

System Design

Xing Cheng: Analysis and Modelling of Routing Algorithms in High-Speed Networks. 63-68 BibTeX
R. A. Simpson, Alan J. Harget: A Simulation Study to Determine the Importance of Load Balancing Algorithms for Loosely-Coupled Distributed Systems. 69-74 BibTeX
R. K. Shyamasundar: Specifying Dynamic Reat-Time Systems in CRP. 75-80 BibTeX
Priscilla J. Fowler, Linda Levine: The Role of Infrastructure in the Adoption of an Immature Software Technology. 81-86 BibTeX

Wireless Networking

Katrin Braun, Joachim Grollmann, Michael Horn, Manfred Langen, Wolfgang Thulke, Walter Weigel: Personal Communication is More Than Wireless Communication. 89-94 BibTeX
Chr. Kröll, Peter Peinl, J. Pommnitz: Extensions of the Internet Protocol for Wireless Communication. 95-100 BibTeX
Frank Reichert, Y. Ismailov, P. Pruthi, T. Ohsawa: The Walkstation Project - A Flexible Platform for Experiments in Mobile Multimedia Environments. 101-105 BibTeX

User Interfaces

Peter Lüders, Rolf Ernst: The Dynamic Screen - Beyond the Limits of Traditional Graphic User Interfaces. 109-114 BibTeX
Usko Moilanen: Experiences in Applying a Client Server GUI System. 115-120 BibTeX
Bogdan D. Czejdo, Bill P. Buckles, L. Smith, Christoph F. Eick: An Adaptive Browsing System Based on Rules for Object-Oriented Databases. 121-126 BibTeX

Software

Ray-I Chang, Pei-Yung Hsiao: Solving System Partitioning Problem using a Massively Parallel Bio-Computing Network. 129-134 BibTeX
K. I. Mitchell: Software For the Re-engineered Corporation. 135-140 BibTeX
Hiroshi Nagase, Kiyoshi Tawa, Masayoshi Kaji, Hiroaki Nakayama, Hiroshi Suzuki, Masaru Kakuma: The Reduction Method of Waiting Operands in Dataflow Machine. 141-146 BibTeX
Suresh C. Gupta, Mukul K. Sinha: Improving Software Testability by Observability and Controllabliity Measures. 147-154 BibTeX

Distributed Systems and Networking

T. Murayama, F. Hattori: Adaptive Architecture for Flexible Information Systems. 157-162 BibTeX
G. P. Balboni, L. Liffredo: On the Effect of Statistical Bandwidth Allocation in an ATM Network Running Today's Applications. 163-168 BibTeX
Huai Min Wang, Pu Wang, Hong Kui Gao: Decentralized Computing Environment for Agent-Oriented Programming. 169-174 BibTeX

Hardware

Yoshinori Yamaguchi, Kenji Toda, Kenji Nishida, Eiichi Takahashi: The Execution Model and the Architecture for Real-Time Parallel Systems. 177-182 BibTeX
Abhaya Asthana, Mark Cravatts, Paul Krzyzanowski: SWIM Active Memory: Architecture and Applications. 183-188 BibTeX
Chi-Hung Chi: Compiler's New Role in Data Cache Prefetching. 189-194 BibTeX
L. Zhang, Jan van Katwijk: Designing Multi-Processor Real-Time Systems with a Multi-view Approach. 195-200 BibTeX

Track 4 - Theoretical Foundations of Computing

Expert and Invited Lectures

Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul: Applications of PRAMs in Telecommunications. 203-210 BibTeX
Leonidas J. Guibas: The Design and Analysis of Geometric Algorithms. 211-212 BibTeX
Juris Hartmanis: The Structure of the Complexity of Computations: A Guided Tour Through Complexity Classes. 213-220 BibTeX
David S. Johnson: The Traveling Salesman Problem: A report on the State of the Art. 221-222 BibTeX
Kurt Mehlhorn, Stefan Näher: The Implementation of Geometric Algorithms. 223-231 BibTeX
Robin Milner: Computing is Interaction. 232-233 BibTeX
Leslie G. Valiant: A Computational Model for Cognition (Abstract). 234 BibTeX
Avi Wigderson: The Wonders of the Digital Envelope - A Crash Course in Modern Cryptography. 235-238 BibTeX

Algorithms and Complexity

Yung-Cheng Chang, Lih-Hsing Hsu: Element Perturbation Problems of Optimum Spanning Trees with Two-Parameter Objectives. 241-246 BibTeX
Jozef Gruska, Margherita Napoli, Domenico Parente: Optimization of Systolic Tree Automata. 247-252 BibTeX
Kazuo Iwama, Shuichi Miyazaki: SAT-Varible Complexity of Hard Combinatorial Problems. 253-258 BibTeX
David Chenho Kung, Jyhjong Lin, Pei Hsia: An Object-Oriented Conceptal Model for Information Systems. 259-264 BibTeX
Qiang Li: Lamport's Bakery Algorithm Applied to Loosely-coupled SCI Platforms. 265-270 BibTeX
Ch. Marco, Paz Morillo: The Use of Elliptic Curves in Smart Cards. 271-275 BibTeX
Subhada K. Mishra, Vijay V. Raghavan: Design Issues in Randomized Branch and Bound Algorithms: A Study of Graph Partitioning. 276-281 BibTeX
Youzou Miyadera, Kensei Tsuchida, Takeo Yaku: A Tidy Drawing Problem on the Minimum Area for Tree-Structured Diagrams and Its Application to Program Development. 282-287 BibTeX
Kenneth W. Regan: Linear-Time Algorithms in Memory Hierarchies. 288-293 BibTeX
Kazumi Saito, Ryohei Nakano: Adaptive Concept Learning Algorithm. 294-299 BibTeX
Xinfeng Ye, John A. Keane: A Fault Tolerant Distributed Termination Detection Scheme. 300-305 BibTeX

Semantics

Jordan Gergov, Christoph Meinel: Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification. 309-314 BibTeX
Jozef Gruska, Irène Guessarian: Correctness of Basic Systolic Systems Transformations. 315-321 BibTeX
Dan Ionescu: A Timed Temporal Logic Framework for Designing Real-Time Applications. 322-329 BibTeX
Wolfram Kahl: Can Functional Programming Be Liberated from the Applicative Style? 330-335 BibTeX
Max I. Kanovich: Computational and Concurrency Aspects of Linear Logic. 336-341 BibTeX
Mieczyslaw A. Klopotek: Restricted Causal Inference. 342-347 BibTeX
Hans-Jörg Kreowski: An Axiomatic Approach to Canonical Derivations. 348-353 BibTeX
David Lorge Parnas: Mathematical Description and Specification of Software. 354-359 BibTeX
F. Piard, A. Haurat: Temporal Algebraic Specification of an Industrial Information System. 360-365 BibTeX
Sadegh Saidi: On the Associative Unification of Phrases. 366-373 BibTeX

Evolving Algebras

Christoph Beierle: Formal Design of an Abstract Machine for Constraint Logic Programming. 377-382 BibTeX
Andreas Blass, Yuri Gurevich: Evolving Algebras and Linear Time Hierarchy. 383-390 BibTeX
Egon Börger: Logic Programming: The Evolving Algebra Approach. 391-395 BibTeX
Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig: Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. 396-401 BibTeX
Egon Börger, Uwe Glässer: A Formal Specification of the PVM Architecture. 402-409 BibTeX
Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. 410-415 BibTeX
Paola Glavan, Dean Rosenzweig: Evolving Algebra Model of Programming Language Semantics. 416-422 BibTeX
Yuri Gurevich: Evolving Algebras. 423-427 BibTeX
Bernd Müller: A Semantics for Hybrid Object-Oriented Prolog Systems. 428-433 BibTeX
Arnd Poetzsch-Heffter: Deriving Partial Correctness Logics From Evolving Algebras. 434-439 BibTeX
Dean Rosenzweig: Distributed Computations: Evolving Algebra Approach. 440-441 BibTeX

Finite Automata

Marcella Anselmo, Antonio Restivo: Factorizing Languages. 445-450 BibTeX
Olivier Carton: Chain Automata. 451-458 BibTeX
Julien Cassaigne: An Algorithm to Test if a Given Circular HDOL-Language Avoids a Pattern. 459-464 BibTeX
Aldo de Luca, Stefano Varricchio: On a Conjecture of Brzozowski. 465-472 BibTeX
Dora Giammarresi, Sabrina Mantaci, Filippo Mignosi, Antonio Restivo: A Periodicity Theorem for Trees. 473-478 BibTeX
Juraj Hromkovic, Juhani Karhumäki: Two Lower Bounds on Computational Complexity of Infinite Word Generation. 479-484 BibTeX
Maryse Pelletier, Jacques Sakarovitch: On the Lexicographic Uniformisation of Deterministic 2-Tape Automata (Extended Abstract). 485-490 BibTeX
Dominique Perrin: Automata on Infinite Words (Abstract). 491-492 BibTeX
Roy S. Rubinstein, John N. Shutt: Self-Modifying Finite Automata. 493-498 BibTeX
Wolfgang Thomas: Finite-State Recognizability and Logic: from Words to Graphs. 499-506 BibTeX

General Purpose Parallel Computing

Rob H. Bisseling, William F. McColl: Scientific Computing on Bulk Synchronous Parallel Architectures. 509-514 BibTeX
Thomas Cheatham, Amr F. Fahmy, Dan C. Stefanescu: H-BSP - A General Purpose Parallel Computing Environment. 515-520 BibTeX
Pilar de la Torre, Clyde P. Kruskal: A Calculus of Adaptive Purpose Parallel Computation. 521-526 BibTeX
Gaétan Hains: Parallel Functional Languages Should be Strict. 527-532 BibTeX
K.-H. Lee, K.-F. Mak: ACCEL: A Concurrent Class Extension Language. 533-538 BibTeX
William F. McColl: Scalable Parallel Computing: A Grand Unified Theory and its Practical Development. 539-546 BibTeX
P. Jagan Mohan, V. Kamakoti, C. Pandu Rangan: Efficient Randomized Parallel Algorithm for the Closest Pair Problem in D-dimension. 547-552 BibTeX
Lasse Natvig: Compile and Runtime Padding: An Approach to Realising Synchronous MIMD Execution. 553-558 BibTeX
Arun Rao, Bruce Perens: Parallel Image-Processing Algorithms in a Virtual-Memory-Efficient Environment. 559-564 BibTeX
David B. Skillicorn: The Categorial Data Type Approach to General-Purpose Parallel Computation. 565-570 BibTeX
Boleslaw K. Szymanski, José M. Vidal: Automatic Verification of a Class of Symmetric Parallel Programs. 571-576 BibTeX

Information Based Complexity and Program Speedups in Practice and Theory

Olivier Danvy: Partial Evaluation for Program Speedups. 579-580 BibTeX
Andrew J. Gill, Simon L. Peyton Jones: Cheap Deforestation in Practice: An Optimizer for Haskell. 581-586 BibTeX
Yuri Gurevich, James K. Huggins: Evolving Algebras and Partial Evaluation. 587-592 BibTeX
Stefan Heinrich: Complexity Theory and Monte Carlo Algorithms in Numerical Analysis. 593-594 BibTeX
Neil D. Jones: Program Speedups in Theory and Practice. 595-602 BibTeX
Robert Paige: Efficient Translation of External Input in a Dynamically Typed Language. 603-608 BibTeX
Kenneth W. Regan: Linear Speed-Up, Information Vicinity, and Finite-State Machines. 609-614 BibTeX
William L. Scherlis: Boundary and Path Manipulations on Abstract Data Types (Extended Abstract). 615-620 BibTeX
Grzegorz W. Wasilkowski, Henryk Wozniakowski: On Strong Tractability of Multivariate Problems. 621-628 BibTeX