IFIP Congress (1)

Keyphrases

Publications

1994

Dominique Perrin
Automata on Infinite Words (Abstract). IFIP Congress (1) (1994)
Usko Moilanen
Experiences in Applying a Client Server GUI System. IFIP Congress (1) (1994)
Gaétan Hains
Parallel Functional Languages Should be Strict. IFIP Congress (1) (1994)
Hans-Jörg Kreowski
An Axiomatic Approach to Canonical Derivations. IFIP Congress (1) (1994)
Lasse Natvig
Compile and Runtime Padding: An Approach to Realising Synchronous MIMD Execution. IFIP Congress (1) (1994)
Kurt Mehlhorn, Stefan Näher
The Implementation of Geometric Algorithms. IFIP Congress (1) (1994)
Julien Cassaigne
An Algorithm to Test if a Given Circular HDOL-Language Avoids a Pattern. IFIP Congress (1) (1994)
Sadegh Saidi
On the Associative Unification of Phrases. IFIP Congress (1) (1994)
Stefan Heinrich
Complexity Theory and Monte Carlo Algorithms in Numerical Analysis. IFIP Congress (1) (1994)
Olivier Danvy
Partial Evaluation for Program Speedups. IFIP Congress (1) (1994)
Avi Wigderson
The Wonders of the Digital Envelope - A Crash Course in Modern Cryptography. IFIP Congress (1) (1994)
Robin Milner
Computing is Interaction. IFIP Congress (1) (1994)
Jan Swerup, Dany Suk, Per Berqvist
C&C Integration - How Does Industry Cope? IFIP Congress (1) (1994)
Paola Glavan, Dean Rosenzweig
Evolving Algebra Model of Programming Language Semantics. IFIP Congress (1) (1994)
Robert Paige
Efficient Translation of External Input in a Dynamically Typed Language. IFIP Congress (1) (1994)
Egon Börger, Uwe Glässer
A Formal Specification of the PVM Architecture. IFIP Congress (1) (1994)
Dean Rosenzweig
Distributed Computations: Evolving Algebra Approach. IFIP Congress (1) (1994)
Marcella Anselmo, Antonio Restivo
Factorizing Languages. IFIP Congress (1) (1994)
Juris Hartmanis
The Structure of the Complexity of Computations: A Guided Tour Through Complexity Classes. IFIP Congress (1) (1994)
Yoshihisa Yamamoto, I. Chuang
Physical Limits For Computing And Communication. IFIP Congress (1) (1994)
Andrew John Gill, Simon L. Peyton Jones
Cheap Deforestation in Practice: An Optimizer for Haskell. IFIP Congress (1) (1994)
David S. Johnson
The Traveling Salesman Problem: A report on the State of the Art. IFIP Congress (1) (1994)
Yuri Gurevich, James K. Huggins
Evolving Algebras and Partial Evaluation. IFIP Congress (1) (1994)
Yoshinori Yamaguchi, Kenji Toda, Kenji Nishida, Eiichi Takahashi
The Execution Model and the Architecture for Real-Time Parallel Systems. IFIP Congress (1) (1994)
Raymond C. Williams
Centralized Management in a Distributed World. IFIP Congress (1) (1994)
Xing Cheng
Analysis and Modelling of Routing Algorithms in High-Speed Networks. IFIP Congress (1) (1994)
Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul
Applications of PRAMs in Telecommunications. IFIP Congress (1) (1994)
Ray-I Chang, Pei-Yung Hsiao
Solving System Partitioning Problem using a Massively Parallel Bio-Computing Network. IFIP Congress (1) (1994)
Kazuo Iwama, Shuichi Miyazaki
SAT-Varible Complexity of Hard Combinatorial Problems. IFIP Congress (1) (1994)
Wolfgang Thomas
Finite-State Recognizability and Logic: from Words to Graphs. IFIP Congress (1) (1994)
Grzegorz W. Wasilkowski, Henryk Wozniakowski
On Strong Tractability of Multivariate Problems. IFIP Congress (1) (1994)
Mieczyslaw A. Klopotek
Restricted Causal Inference. IFIP Congress (1) (1994)
Dora Giammarresi, Sabrina Mantaci, Filippo Mignosi, Antonio Restivo
A Periodicity Theorem for Trees. IFIP Congress (1) (1994)
Aldo de Luca, Stefano Varricchio
On a Conjecture of Brzozowski. IFIP Congress (1) (1994)
David B. Skillicorn
The Categorial Data Type Approach to General-Purpose Parallel Computation. IFIP Congress (1) (1994)
Qiang Li
Lamport's Bakery Algorithm Applied to Loosely-coupled SCI Platforms. IFIP Congress (1) (1994)
Katrin Braun, Joachim Grollmann, Michael Horn, Manfred Langen, Wolfgang Thulke, Walter Weigel
Personal Communication is More Than Wireless Communication. IFIP Congress (1) (1994)
Leslie G. Valiant
A Computational Model for Cognition (Abstract). IFIP Congress (1) (1994)
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)
Yuri Gurevich
Evolving Algebras. IFIP Congress (1) (1994)
Chr. Kröll, Peter Peinl, J. Pommnitz
Extensions of the Internet Protocol for Wireless Communication. IFIP Congress (1) (1994)
Ch. Marco, Paz Morillo
The Use of Elliptic Curves in Smart Cards. IFIP Congress (1) (1994)
K. I. Mitchell
Software For the Re-engineered Corporation. IFIP Congress (1) (1994)
Jozef Gruska, Irène Guessarian
Correctness of Basic Systolic Systems Transformations. IFIP Congress (1) (1994)
Egon Börger
Logic Programming: The Evolving Algebra Approach. IFIP Congress (1) (1994)
Ken Blakeslee, Ian Sugarbroad
The Evolution of Personal Computing and Communications Environments. IFIP Congress (1) (1994)
R. K. Shyamasundar
Specifying Dynamic Reat-Time Systems in CRP. IFIP Congress (1) (1994)
Priscilla J. Fowler, Linda Levine
The Role of Infrastructure in the Adoption of an Immature Software Technology. IFIP Congress (1) (1994)
Jozef Gruska, Margherita Napoli, Domenico Parente
Optimization of Systolic Tree Automata. IFIP Congress (1) (1994)
Abhaya Asthana, Mark Cravatts, Paul Krzyzanowski
SWIM Active Memory: Architecture and Applications. IFIP Congress (1) (1994)