The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "IFIP Congress (1)"( http://dblp.L3S.de/Venues/IFIP_Congress_(1) )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ifip

Publication years (Num. hits)
1968 (98) 1971 (119) 1992 (103) 1994 (99)
Publication types (Num. hits)
inproceedings(417) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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