default search action
13. IFIP Congress 1994: Hamburg, Germany
- Björn Pehrson, Imre Simon:
Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994. IFIP Transactions A-51, North-Holland 1994, ISBN 0-444-81989-4
Track 1 - Hardware and Software Technology
Expert and Invited Lectures
- Yoshihisa Yamamoto, I. Chuang:
Physical Limits For Computing And Communication. IFIP Congress (1) 1994: 3-14 - Jan Swerup, Dany Suk, Per Berqvist:
C&C Integration - How Does Industry Cope? IFIP Congress (1) 1994: 15-19 - Ken Blakeslee, Ian Sugarbroad:
The Evolution of Personal Computing and Communications Environments. IFIP Congress (1) 1994: 21-26 - Raymond C. Williams:
Centralized Management in a Distributed World. IFIP Congress (1) 1994: 27-33 - Gerard J. Holzmann:
The Theory and Practice of A Formal Method: NewCoRe. IFIP Congress (1) 1994: 35-44 - Bruce G. Lindsay:
From Data Management To Information Exploitation. IFIP Congress (1) 1994: 45-48 - Nobuyoshi Terashima:
Telesensation - Distributed Interactive Virtual Reality - Overview and Prospects. IFIP Congress (1) 1994: 49-59
System Design
- Xing Cheng:
Analysis and Modelling of Routing Algorithms in High-Speed Networks. IFIP Congress (1) 1994: 63-68 - R. A. Simpson, Alan J. Harget:
A Simulation Study to Determine the Importance of Load Balancing Algorithms for Loosely-Coupled Distributed Systems. IFIP Congress (1) 1994: 69-74 - R. K. Shyamasundar:
Specifying Dynamic Reat-Time Systems in CRP. IFIP Congress (1) 1994: 75-80 - Priscilla J. Fowler, Linda Levine:
The Role of Infrastructure in the Adoption of an Immature Software Technology. IFIP Congress (1) 1994: 81-86
Wireless Networking
- Katrin Braun, Joachim Grollmann, Michael Horn, Manfred Langen, Wolfgang Thulke, Walter Weigel:
Personal Communication is More Than Wireless Communication. IFIP Congress (1) 1994: 89-94 - Chr. Kröll, Peter Peinl, J. Pommnitz:
Extensions of the Internet Protocol for Wireless Communication. IFIP Congress (1) 1994: 95-100 - Frank Reichert, Y. Ismailov, P. Pruthi, T. Ohsawa:
The Walkstation Project - A Flexible Platform for Experiments in Mobile Multimedia Environments. IFIP Congress (1) 1994: 101-105
User Interfaces
- Peter Lüders, Rolf Ernst:
The Dynamic Screen - Beyond the Limits of Traditional Graphic User Interfaces. IFIP Congress (1) 1994: 109-114 - Usko Moilanen:
Experiences in Applying a Client Server GUI System. IFIP Congress (1) 1994: 115-120 - Bogdan D. Czejdo, Bill P. Buckles, L. Smith, Christoph F. Eick:
An Adaptive Browsing System Based on Rules for Object-Oriented Databases. IFIP Congress (1) 1994: 121-126
Software
- Ray-I Chang, Pei-Yung Hsiao:
Solving System Partitioning Problem using a Massively Parallel Bio-Computing Network. IFIP Congress (1) 1994: 129-134 - K. I. Mitchell:
Software For the Re-engineered Corporation. IFIP Congress (1) 1994: 135-140 - Hiroshi Nagase, Kiyoshi Tawa, Masayoshi Kaji, Hiroaki Nakayama, Hiroshi Suzuki, Masaru Kakuma:
The Reduction Method of Waiting Operands in Dataflow Machine. IFIP Congress (1) 1994: 141-146 - Suresh C. Gupta, Mukul K. Sinha:
Improving Software Testability by Observability and Controllabliity Measures. IFIP Congress (1) 1994: 147-154
Distributed Systems and Networking
- T. Murayama, F. Hattori:
Adaptive Architecture for Flexible Information Systems. IFIP Congress (1) 1994: 157-162 - G. P. Balboni, L. Liffredo:
On the Effect of Statistical Bandwidth Allocation in an ATM Network Running Today's Applications. IFIP Congress (1) 1994: 163-168 - Huai Min Wang, Pu Wang, Hong Kui Gao:
Decentralized Computing Environment for Agent-Oriented Programming. IFIP Congress (1) 1994: 169-174
Hardware
- Yoshinori Yamaguchi, Kenji Toda, Kenji Nishida, Eiichi Takahashi:
The Execution Model and the Architecture for Real-Time Parallel Systems. IFIP Congress (1) 1994: 177-182 - Abhaya Asthana, Mark Cravatts, Paul Krzyzanowski:
SWIM Active Memory: Architecture and Applications. IFIP Congress (1) 1994: 183-188 - Chi-Hung Chi:
Compiler's New Role in Data Cache Prefetching. IFIP Congress (1) 1994: 189-194 - L. Zhang, Jan van Katwijk:
Designing Multi-Processor Real-Time Systems with a Multi-view Approach. IFIP Congress (1) 1994: 195-200
Track 4 - Theoretical Foundations of Computing
Expert and Invited Lectures
- Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul:
Applications of PRAMs in Telecommunications. IFIP Congress (1) 1994: 203-210 - Leonidas J. Guibas:
The Design and Analysis of Geometric Algorithms. IFIP Congress (1) 1994: 211-212 - Juris Hartmanis:
The Structure of the Complexity of Computations: A Guided Tour Through Complexity Classes. IFIP Congress (1) 1994: 213-220 - David S. Johnson:
The Traveling Salesman Problem: A report on the State of the Art. IFIP Congress (1) 1994: 221-222 - Kurt Mehlhorn, Stefan Näher:
The Implementation of Geometric Algorithms. IFIP Congress (1) 1994: 223-231 - Robin Milner:
Computing is Interaction. IFIP Congress (1) 1994: 232-233 - Leslie G. Valiant:
A Computational Model for Cognition (Abstract). IFIP Congress (1) 1994: 234 - Avi Wigderson:
The Wonders of the Digital Envelope - A Crash Course in Modern Cryptography. IFIP Congress (1) 1994: 235-238
Algorithms and Complexity
- Yung-Cheng Chang, Lih-Hsing Hsu:
Element Perturbation Problems of Optimum Spanning Trees with Two-Parameter Objectives. IFIP Congress (1) 1994: 241-246 - Jozef Gruska, Margherita Napoli, Domenico Parente:
Optimization of Systolic Tree Automata. IFIP Congress (1) 1994: 247-252 - Kazuo Iwama, Shuichi Miyazaki:
SAT-Varible Complexity of Hard Combinatorial Problems. IFIP Congress (1) 1994: 253-258 - David Chenho Kung, Jyhjong Lin, Pei Hsia:
An Object-Oriented Conceptal Model for Information Systems. IFIP Congress (1) 1994: 259-264 - Qiang Li:
Lamport's Bakery Algorithm Applied to Loosely-coupled SCI Platforms. IFIP Congress (1) 1994: 265-270 - Ch. Marco, Paz Morillo:
The Use of Elliptic Curves in Smart Cards. IFIP Congress (1) 1994: 271-275 - Subhada K. Mishra, Vijay V. Raghavan:
Design Issues in Randomized Branch and Bound Algorithms: A Study of Graph Partitioning. IFIP Congress (1) 1994: 276-281 - Youzou Miyadera, Kensei Tsuchida, Takeo Yaku:
A Tidy Drawing Problem on the Minimum Area for Tree-Structured Diagrams and Its Application to Program Development. IFIP Congress (1) 1994: 282-287 - Kenneth W. Regan:
Linear-Time Algorithms in Memory Hierarchies. IFIP Congress (1) 1994: 288-293 - Kazumi Saito, Ryohei Nakano:
Adaptive Concept Learning Algorithm. IFIP Congress (1) 1994: 294-299 - Xinfeng Ye, John A. Keane:
A Fault Tolerant Distributed Termination Detection Scheme. IFIP Congress (1) 1994: 300-305
Semantics
- Jordan Gergov, Christoph Meinel:
Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification. IFIP Congress (1) 1994: 309-314 - Jozef Gruska, Irène Guessarian:
Correctness of Basic Systolic Systems Transformations. IFIP Congress (1) 1994: 315-321 - Dan Ionescu:
A Timed Temporal Logic Framework for Designing Real-Time Applications. IFIP Congress (1) 1994: 322-329 - Wolfram Kahl:
Can Functional Programming Be Liberated from the Applicative Style? IFIP Congress (1) 1994: 330-335 - Max I. Kanovich:
Computational and Concurrency Aspects of Linear Logic. IFIP Congress (1) 1994: 336-341 - Mieczyslaw A. Klopotek:
Restricted Causal Inference. IFIP Congress (1) 1994: 342-347 - Hans-Jörg Kreowski:
An Axiomatic Approach to Canonical Derivations. IFIP Congress (1) 1994: 348-353 - David Lorge Parnas:
Mathematical Description and Specification of Software. IFIP Congress (1) 1994: 354-359 - F. Piard, A. Haurat:
Temporal Algebraic Specification of an Industrial Information System. IFIP Congress (1) 1994: 360-365 - Sadegh Saidi:
On the Associative Unification of Phrases. IFIP Congress (1) 1994: 366-373
Evolving Algebras
- Christoph Beierle:
Formal Design of an Abstract Machine for Constraint Logic Programming. IFIP Congress (1) 1994: 377-382 - Andreas Blass, Yuri Gurevich:
Evolving Algebras and Linear Time Hierarchy. IFIP Congress (1) 1994: 383-390 - Egon Börger:
Logic Programming: The Evolving Algebra Approach. IFIP Congress (1) 1994: 391-395 - Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig:
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. IFIP Congress (1) 1994: 396-401 - Egon Börger, Uwe Glässer:
A Formal Specification of the PVM Architecture. IFIP Congress (1) 1994: 402-409 - Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo:
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. IFIP Congress (1) 1994: 410-415 - Paola Glavan, Dean Rosenzweig:
Evolving Algebra Model of Programming Language Semantics. IFIP Congress (1) 1994: 416-422 - Yuri Gurevich:
Evolving Algebras. IFIP Congress (1) 1994: 423-427 - Bernd Müller:
A Semantics for Hybrid Object-Oriented Prolog Systems. IFIP Congress (1) 1994: 428-433 - Arnd Poetzsch-Heffter:
Deriving Partial Correctness Logics From Evolving Algebras. IFIP Congress (1) 1994: 434-439 - Dean Rosenzweig:
Distributed Computations: Evolving Algebra Approach. IFIP Congress (1) 1994: 440-441
Finite Automata
- Marcella Anselmo, Antonio Restivo:
Factorizing Languages. IFIP Congress (1) 1994: 445-450 - Olivier Carton:
Chain Automata. IFIP Congress (1) 1994: 451-458 - Julien Cassaigne:
An Algorithm to Test if a Given Circular HDOL-Language Avoids a Pattern. IFIP Congress (1) 1994: 459-464 - Aldo de Luca, Stefano Varricchio:
On a Conjecture of Brzozowski. IFIP Congress (1) 1994: 465-472 - Dora Giammarresi, Sabrina Mantaci, Filippo Mignosi, Antonio Restivo:
A Periodicity Theorem for Trees. IFIP Congress (1) 1994: 473-478 - Juraj Hromkovic, Juhani Karhumäki:
Two Lower Bounds on Computational Complexity of Infinite Word Generation. IFIP Congress (1) 1994: 479-484 - Maryse Pelletier, Jacques Sakarovitch:
On the Lexicographic Uniformisation of Deterministic 2-Tape Automata (Extended Abstract). IFIP Congress (1) 1994: 485-490 - Dominique Perrin:
Automata on Infinite Words (Abstract). IFIP Congress (1) 1994: 491-492 - Roy S. Rubinstein, John N. Shutt:
Self-Modifying Finite Automata. IFIP Congress (1) 1994: 493-498 - Wolfgang Thomas:
Finite-State Recognizability and Logic: from Words to Graphs. IFIP Congress (1) 1994: 499-506
General Purpose Parallel Computing
- Rob H. Bisseling, William F. McColl:
Scientific Computing on Bulk Synchronous Parallel Architectures. IFIP Congress (1) 1994: 509-514 - Thomas E. Cheatham, Amr F. Fahmy, Dan C. Stefanescu:
H-BSP - A General Purpose Parallel Computing Environment. IFIP Congress (1) 1994: 515-520 - Pilar de la Torre, Clyde P. Kruskal:
A Calculus of Adaptive Purpose Parallel Computation. IFIP Congress (1) 1994: 521-526 - Gaétan Hains:
Parallel Functional Languages Should be Strict. IFIP Congress (1) 1994: 527-532 - K.-H. Lee, K.-F. Mak:
ACCEL: A Concurrent Class Extension Language. IFIP Congress (1) 1994: 533-538 - William F. McColl:
Scalable Parallel Computing: A Grand Unified Theory and its Practical Development. IFIP Congress (1) 1994: 539-546 - P. Jagan Mohan, V. Kamakoti, C. Pandu Rangan:
Efficient Randomized Parallel Algorithm for the Closest Pair Problem in D-dimension. IFIP Congress (1) 1994: 547-552 - Lasse Natvig:
Compile and Runtime Padding: An Approach to Realising Synchronous MIMD Execution. IFIP Congress (1) 1994: 553-558 - Arun Rao, Bruce Perens:
Parallel Image-Processing Algorithms in a Virtual-Memory-Efficient Environment. IFIP Congress (1) 1994: 559-564 - David B. Skillicorn:
The Categorial Data Type Approach to General-Purpose Parallel Computation. IFIP Congress (1) 1994: 565-570 - Boleslaw K. Szymanski, José M. Vidal:
Automatic Verification of a Class of Symmetric Parallel Programs. IFIP Congress (1) 1994: 571-576
Information Based Complexity and Program Speedups in Practice and Theory
- Olivier Danvy:
Partial Evaluation for Program Speedups. IFIP Congress (1) 1994: 579-580 - Andrew John Gill, Simon L. Peyton Jones:
Cheap Deforestation in Practice: An Optimizer for Haskell. IFIP Congress (1) 1994: 581-586 - Yuri Gurevich, James K. Huggins:
Evolving Algebras and Partial Evaluation. IFIP Congress (1) 1994: 587-592 - Stefan Heinrich:
Complexity Theory and Monte Carlo Algorithms in Numerical Analysis. IFIP Congress (1) 1994: 593-594 - Neil D. Jones:
Program Speedups in Theory and Practice. IFIP Congress (1) 1994: 595-602 - Robert Paige:
Efficient Translation of External Input in a Dynamically Typed Language. IFIP Congress (1) 1994: 603-608 - Kenneth W. Regan:
Linear Speed-Up, Information Vicinity, and Finite-State Machines. IFIP Congress (1) 1994: 609-614 - William L. Scherlis:
Boundary and Path Manipulations on Abstract Data Types (Extended Abstract). IFIP Congress (1) 1994: 615-620 - Grzegorz W. Wasilkowski, Henryk Wozniakowski:
On Strong Tractability of Multivariate Problems. IFIP Congress (1) 1994: 621-628
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-12-23 19:37 CET 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: