Conferences in DBLP
Y. Yamamoto , I. Chuang Physical Limits For Computing And Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Swerup , Dany Suk , Per Berqvist C&C Integration - How Does Industry Cope? [Citation Graph (0, 0)][DBLP ] Conf ] Ken Blakeslee , Ian Sugarbroad The Evolution of Personal Computing and Communications Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond C. Williams Centralized Management in a Distributed World. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard J. Holzmann The Theory and Practice of A Formal Method: NewCoRe. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce G. Lindsay From Data Management To Information Exploitation. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuyoshi Terashima Telesensation - Distributed Interactive Virtual Reality - Overview and Prospects. [Citation Graph (0, 0)][DBLP ] Conf ] Xing Cheng Analysis and Modelling of Routing Algorithms in High-Speed Networks. [Citation Graph (0, 0)][DBLP ] Conf ] R. A. Simpson , Alan J. Harget A Simulation Study to Determine the Importance of Load Balancing Algorithms for Loosely-Coupled Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] R. K. Shyamasundar Specifying Dynamic Reat-Time Systems in CRP. [Citation Graph (0, 0)][DBLP ] Conf ] Priscilla J. Fowler , Linda Levine The Role of Infrastructure in the Adoption of an Immature Software Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Katrin Braun , Joachim Grollmann , Michael Horn , Manfred Langen , Wolfgang Thulke , Walter Weigel Personal Communication is More Than Wireless Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Chr. Kröll , Peter Peinl , J. Pommnitz Extensions of the Internet Protocol for Wireless Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Reichert , Y. Ismailov , P. Pruthi , T. Ohsawa The Walkstation Project - A Flexible Platform for Experiments in Mobile Multimedia Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Lüders , Rolf Ernst The Dynamic Screen - Beyond the Limits of Traditional Graphic User Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Usko Moilanen Experiences in Applying a Client Server GUI System. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan D. Czejdo , Bill P. Buckles , L. Smith , Christoph F. Eick An Adaptive Browsing System Based on Rules for Object-Oriented Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Ray-I Chang , Pei-Yung Hsiao Solving System Partitioning Problem using a Massively Parallel Bio-Computing Network. [Citation Graph (0, 0)][DBLP ] Conf ] K. I. Mitchell Software For the Re-engineered Corporation. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Nagase , Kiyoshi Tawa , Masayoshi Kaji , Hiroaki Nakayama , Hiroshi Suzuki , Masaru Kakuma The Reduction Method of Waiting Operands in Dataflow Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Suresh C. Gupta , Mukul K. Sinha Improving Software Testability by Observability and Controllabliity Measures. [Citation Graph (0, 0)][DBLP ] Conf ] T. Murayama , F. Hattori Adaptive Architecture for Flexible Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] G. P. Balboni , L. Liffredo On the Effect of Statistical Bandwidth Allocation in an ATM Network Running Today's Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Huai Min Wang , Pu Wang , Hong Kui Gao Decentralized Computing Environment for Agent-Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshinori Yamaguchi , Kenji Toda , Kenji Nishida , Eiichi Takahashi The Execution Model and the Architecture for Real-Time Parallel Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Abhaya Asthana , Mark Cravatts , Paul Krzyzanowski SWIM Active Memory: Architecture and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Chi-Hung Chi Compiler's New Role in Data Cache Prefetching. [Citation Graph (0, 0)][DBLP ] Conf ] L. Zhang , Jan van Katwijk Designing Multi-Processor Real-Time Systems with a Multi-view Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Drefenstedt , Jörg Keller , Wolfgang J. Paul Applications of PRAMs in Telecommunications. [Citation Graph (0, 0)][DBLP ] Conf ] Leonidas J. Guibas The Design and Analysis of Geometric Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Juris Hartmanis The Structure of the Complexity of Computations: A Guided Tour Through Complexity Classes. [Citation Graph (0, 0)][DBLP ] Conf ] David S. Johnson The Traveling Salesman Problem: A report on the State of the Art. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Mehlhorn , Stefan Näher The Implementation of Geometric Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Milner Computing is Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie G. Valiant A Computational Model for Cognition (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Avi Wigderson The Wonders of the Digital Envelope - A Crash Course in Modern Cryptography. [Citation Graph (0, 0)][DBLP ] Conf ] Yung-Cheng Chang , Lih-Hsing Hsu Element Perturbation Problems of Optimum Spanning Trees with Two-Parameter Objectives. [Citation Graph (0, 0)][DBLP ] Conf ] Jozef Gruska , Margherita Napoli , Domenico Parente Optimization of Systolic Tree Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuo Iwama , Shuichi Miyazaki SAT-Varible Complexity of Hard Combinatorial Problems. [Citation Graph (0, 0)][DBLP ] Conf ] David Chenho Kung , Jyhjong Lin , Pei Hsia An Object-Oriented Conceptal Model for Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Qiang Li Lamport's Bakery Algorithm Applied to Loosely-coupled SCI Platforms. [Citation Graph (0, 0)][DBLP ] Conf ] Ch. Marco , Paz Morillo The Use of Elliptic Curves in Smart Cards. [Citation Graph (0, 0)][DBLP ] Conf ] Subhada K. Mishra , Vijay V. Raghavan Design Issues in Randomized Branch and Bound Algorithms: A Study of Graph Partitioning. [Citation Graph (0, 0)][DBLP ] Conf ] Youzou Miyadera , Kensei Tsuchida , Takeo Yaku A Tidy Drawing Problem on the Minimum Area for Tree-Structured Diagrams and Its Application to Program Development. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth W. Regan Linear-Time Algorithms in Memory Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] Kazumi Saito , Ryohei Nakano Adaptive Concept Learning Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Xinfeng Ye , John A. Keane A Fault Tolerant Distributed Termination Detection Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Jordan Gergov , Christoph Meinel Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Jozef Gruska , Irène Guessarian Correctness of Basic Systolic Systems Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Ionescu A Timed Temporal Logic Framework for Designing Real-Time Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfram Kahl Can Functional Programming Be Liberated from the Applicative Style? [Citation Graph (0, 0)][DBLP ] Conf ] Max I. Kanovich Computational and Concurrency Aspects of Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Mieczyslaw A. Klopotek Restricted Causal Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Jörg Kreowski An Axiomatic Approach to Canonical Derivations. [Citation Graph (0, 0)][DBLP ] Conf ] David Lorge Parnas Mathematical Description and Specification of Software. [Citation Graph (0, 0)][DBLP ] Conf ] F. Piard , A. Haurat Temporal Algebraic Specification of an Industrial Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Sadegh Saidi On the Associative Unification of Phrases. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Beierle Formal Design of an Abstract Machine for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Blass , Yuri Gurevich Evolving Algebras and Linear Time Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger Logic Programming: The Evolving Algebra Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger , Giuseppe Del Castillo , Paola Glavan , Dean Rosenzweig Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger , Uwe Glässer A Formal Specification of the PVM Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger , Francisco Javier López-Fraguas , Mario Rodríguez-Artalejo A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Glavan , Dean Rosenzweig Evolving Algebra Model of Programming Language Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri Gurevich Evolving Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Müller A Semantics for Hybrid Object-Oriented Prolog Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Arnd Poetzsch-Heffter Deriving Partial Correctness Logics From Evolving Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Dean Rosenzweig Distributed Computations: Evolving Algebra Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Marcella Anselmo , Antonio Restivo Factorizing Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Carton Chain Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Julien Cassaigne An Algorithm to Test if a Given Circular HDOL-Language Avoids a Pattern. [Citation Graph (0, 0)][DBLP ] Conf ] Aldo de Luca , Stefano Varricchio On a Conjecture of Brzozowski. [Citation Graph (0, 0)][DBLP ] Conf ] Dora Giammarresi , Sabrina Mantaci , Filippo Mignosi , Antonio Restivo A Periodicity Theorem for Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Juraj Hromkovic , Juhani Karhumäki Two Lower Bounds on Computational Complexity of Infinite Word Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Maryse Pelletier , Jacques Sakarovitch On the Lexicographic Uniformisation of Deterministic 2-Tape Automata (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Perrin Automata on Infinite Words (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Roy S. Rubinstein , John N. Shutt Self-Modifying Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Thomas Finite-State Recognizability and Logic: from Words to Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Rob H. Bisseling , William F. McColl Scientific Computing on Bulk Synchronous Parallel Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Cheatham , Amr F. Fahmy , Dan C. Stefanescu H-BSP - A General Purpose Parallel Computing Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Pilar de la Torre , Clyde P. Kruskal A Calculus of Adaptive Purpose Parallel Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Gaétan Hains Parallel Functional Languages Should be Strict. [Citation Graph (0, 0)][DBLP ] Conf ] K.-H. Lee , K.-F. Mak ACCEL: A Concurrent Class Extension Language. [Citation Graph (0, 0)][DBLP ] Conf ] William F. McColl Scalable Parallel Computing: A Grand Unified Theory and its Practical Development. [Citation Graph (0, 0)][DBLP ] Conf ] P. Jagan Mohan , V. Kamakoti , C. Pandu Rangan Efficient Randomized Parallel Algorithm for the Closest Pair Problem in D-dimension. [Citation Graph (0, 0)][DBLP ] Conf ] Lasse Natvig Compile and Runtime Padding: An Approach to Realising Synchronous MIMD Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Arun Rao , Bruce Perens Parallel Image-Processing Algorithms in a Virtual-Memory-Efficient Environment. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Skillicorn The Categorial Data Type Approach to General-Purpose Parallel Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Boleslaw K. Szymanski , José M. Vidal Automatic Verification of a Class of Symmetric Parallel Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Danvy Partial Evaluation for Program Speedups. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew J. Gill , Simon L. Peyton Jones Cheap Deforestation in Practice: An Optimizer for Haskell. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri Gurevich , James K. Huggins Evolving Algebras and Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Heinrich Complexity Theory and Monte Carlo Algorithms in Numerical Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Neil D. Jones Program Speedups in Theory and Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Paige Efficient Translation of External Input in a Dynamically Typed Language. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth W. Regan Linear Speed-Up, Information Vicinity, and Finite-State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] William L. Scherlis Boundary and Path Manipulations on Abstract Data Types (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Grzegorz W. Wasilkowski , Henryk Wozniakowski On Strong Tractability of Multivariate Problems. [Citation Graph (0, 0)][DBLP ] Conf ] 