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