Search results for "ICCI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Lin Chen 0001	Logarithmic Time NC Algorithms for Comparability Graphs and Circle Graphs.	ICCI	1991	DBLP DOI BibTeX RDF
1	Bogdan D. Czejdo, Malcolm C. Taylor	Methods and Tools for Integrating Database Systems and Object-Oriented Programming Systems.	ICCI	1991	DBLP DOI BibTeX RDF
1	Maria E. Orlowska	On the Semantic Enhancement of Information Systems Design (Abstract).	ICCI	1990	DBLP BibTeX RDF
1	John V. Tucker, Jeffery I. Zucker	Toward a General Theory of Computation and Specification over Abstract Data Types.	ICCI	1990	DBLP DOI BibTeX RDF	specification, computation, computability, abstract data type
1	H. Harry Zhou	Adaptive Expert Systems and Analogical Problem Solving.	ICCI	1990	DBLP DOI BibTeX RDF	Analogical problem solving, Expert systems, Case-based reasoning
1	Jonas Aczél	Merging of Scores for Decision Making in Practice and Theory (Abstract).	ICCI	1990	DBLP BibTeX RDF
1	Chandrabhan Chevli, Hee Yong Youn	An Efficient VLSI Network Bridge Architecture for Local Area Networks.	ICCI	1990	DBLP DOI BibTeX RDF	Network Bridge, Fault Tolerance, Communication, VLSI, Interconnection, LAN
1	Gerhard Steinke, Gilbert Hamann	Ethics and Computers: Can Universities Set the Standards?	ICCI	1990	DBLP DOI BibTeX RDF
1	John G. Geske, Diane Kakihara	Almost-Everywhere Complexity, Bi-Immunity and Nondeterministic Space.	ICCI	1990	DBLP DOI BibTeX RDF	Nondeterministic space complexity, immune sets, almost-everywhere complexity, hierarchy theorems
1	R. Harrison, Hugh Glaser	The Gamma Model as a Functional Programming Tool.	ICCI	1990	DBLP DOI BibTeX RDF
1	Alois P. Heinz	Finding Two-Tree-Factor Elements of Tableau-Defined Monoids in Time O(n³).	ICCI	1990	DBLP DOI BibTeX RDF	relational database, query optimization, relational algebra, tableaux
1	Mark H. Nodine, Daniel P. Lopresti, Jeffrey Scott Vitter	I/O Overhead and Parallel VLSI Architectures for Lattice Computations.	ICCI	1990	DBLP DOI BibTeX RDF	Input/output complexity, lattice computations, cellular automata, VLSI architectures, pebbling
1	Chris D. Marlin, Michael Oudshoorn, Dennis Freidel	A Model of Communication in Ada using Shared Data Abstractions.	ICCI	1990	DBLP DOI BibTeX RDF
1	M. Tamer Özsu, Ken Barker 0001	Architectural Classification and Transaction Execution Models of Multidatabase Systems.	ICCI	1990	DBLP DOI BibTeX RDF
1	William W. Pugh	Probabilistic Analysis of Set Operations with Constant-Time Set Equality Test.	ICCI	1990	DBLP DOI BibTeX RDF	Data structures, Analysis of algorithms, Probabilistic analysis
1	Barbara Simons	Is there Science and Technology (Funding) after the Cold War?	ICCI	1990	DBLP BibTeX RDF
1	Chris S. Wallace	Classification by Minimum-Message-Length Inference.	ICCI	1990	DBLP DOI BibTeX RDF	Classification, Unsupervised learning, Coding, Induction, Statistical inference, Minimum message length
1	David Lorge Parnas	Education for Computing Professionals (Abstract).	ICCI	1990	DBLP BibTeX RDF
1	Bernhard Klaassen	A Hierarchical Multirate Method for Circuit Simulation on Parallel Computers.	ICCI	1990	DBLP DOI BibTeX RDF	Electrical circuit simulation, multirate integration, multilevel Newton method, concurrency
1	Paul F. Dietz, Rajeev Raman	A Constant Update Time Finger Search Tree.	ICCI	1990	DBLP DOI BibTeX RDF	Real-Time Algorithm, Search Tree, Fingers
1	Calvin Ching-Yuen Chen, Sajal K. Das 0001	Parallel Breadth-First and Breadth-Depth Traversals of Generated Trees.	ICCI	1990	DBLP DOI BibTeX RDF	Linked list ranking, Breadth-depth search, Optimal speedup, Parallel algorithm, Breadth-first search, Tree traversal
1	Michel Cosnard	Designing Parallel Algorithms for Transputer Networks (Abstract).	ICCI	1990	DBLP BibTeX RDF
1	H. J. A. van Kuijk, F. H. E. Pijpers, Peter M. G. Apers	Semantic Query Optimization in Distributed Databases.	ICCI	1990	DBLP DOI BibTeX RDF
1	Adrian Colbrook, Colin Smythe, David H. Pitt	Concurrent Data Structures.	ICCI	1990	DBLP DOI BibTeX RDF
1	Mi Lu	Parallel Computation of Longest-Common-Subsequence.	ICCI	1990	DBLP DOI BibTeX RDF
1	Eugeniusz Eberbach	Selected Aspects of the Calculus of Self-Modifiable Algorithms Theory.	ICCI	1990	DBLP DOI BibTeX RDF	self-modifiable algorithm, foundation of AI, fixed-point semantics, parallel programming languages and methodologies, computation models
1	Jean-Marc Adamo, Christophe Bonello	Symbolic Configuartion for SuperNode Multiprocessors.	ICCI	1990	DBLP DOI BibTeX RDF
1	Sung Kwon Kim	A Parallel Algorithm for Path-Min Queries in Trees.	ICCI	1990	DBLP DOI BibTeX RDF
1	Soon Myoung Chung	Block Concatenated Code Word Surrogate File for Partial Match Retrieval.	ICCI	1990	DBLP DOI BibTeX RDF	code words, database, partial match retrieval
1	Ambuj K. Singh	An Axiomatization of Wait-Freedom and Low-Atomicity.	ICCI	1990	DBLP DOI BibTeX RDF
1	Katsumi Okamoto, Masaaki Hashimoto	On Real-Time Program Specification Description with a Data Model-Based Language.	ICCI	1990	DBLP DOI BibTeX RDF	Program specification description language, constraint, timing, entity-relationship model, real-time software, conceptual data model, nonprocedural language
1	Sanjeev Khanna	Logic Programming for Software Testing.	ICCI	1990	DBLP DOI BibTeX RDF
1		Summaries of invited lectures.	ICCI	1990	DBLP DOI BibTeX RDF
1	Piotr W. Prószynski	The Core Concurrency.	ICCI	1990	DBLP DOI BibTeX RDF	Nonsequential systems, COSY, Concurrency, nets
1	T. Anthony Marsland, Liming Meng	Control Bottlenecks in a Network Database Mechine.	ICCI	1990	DBLP DOI BibTeX RDF	Multiprocessor Database Machines, Network Data Processing, Performance Analysis, Information Processing, Bottlenecks
1	Iain A. Stewart	Using the Hamiltonian Path Operator to Capture NP.	ICCI	1990	DBLP DOI BibTeX RDF
1	Michael A. Langston	Time-Space Optimal Parallel Algorithms (Abstract).	ICCI	1990	DBLP BibTeX RDF
1	Lin Chen 0001	Efficient Deterministic Parallel Algorithms for Integer Sorting.	ICCI	1990	DBLP DOI BibTeX RDF	Resource Tradeoff, Parallel Computation, Lower Bound, Sorting, PRAM, Algorithm Design and Analysis, Prefix Sum, Lexicographic Order, NC
1	William Boswell, Alan L. Tharp	Alternatives to the B+-Tree.	ICCI	1990	DBLP DOI BibTeX RDF	bounded disorder, adaptive hashing, hashing, index structures, b+-tree
1	Tao Jiang 0001	On the Complexity of (Off-Line) 1-Tape ATM's Running in Constant Reversals.	ICCI	1990	DBLP DOI BibTeX RDF	1-tape, off-line 1-tape, head reversal, computational complexity, alternating Turing machine
1	Kung-Chao Liu	An Environment for Information System Prototyping: A System Simulation Approach.	ICCI	1990	DBLP DOI BibTeX RDF
1	Jeretta Horn Nord, G. Daryl Nord	Executive Support Systems for Strategic Advance (Abstract).	ICCI	1990	DBLP BibTeX RDF
1	Ricardo A. Baeza-Yates, Gaston H. Gonnet	Average Case Analysis of Algorithms using Matrix Recurrences.	ICCI	1990	DBLP DOI BibTeX RDF	average case, digital trees, matrix recurrences, Analysis of algorithms, search trees
1	Jacques Julliand, Guy-René Perrin	Asynchronous Functional Parallel Programs.	ICCI	1990	DBLP DOI BibTeX RDF	Parallelism, Asynchronous Communications, Functional Language, Equations, Natural Semantics
1	Vincent G. Winters	Minimal Perfect Hashing For Large Sets of Data.	ICCI	1990	DBLP DOI BibTeX RDF	Algorithms, Complexity, Hashing, Search and Retrieval
1	Richard P. Hopkins	Distributed Computers: Object-vs. Unix-Based and Beyond (Abstract).	ICCI	1990	DBLP BibTeX RDF
1	Zdzislaw Pawlak	Theory of Rough Sets: A New Methodology for Knowledge Discovery (Abstract).	ICCI	1990	DBLP BibTeX RDF
1	Deepak D. Sherlekar	Optimality of Gauge and Degree-Sensitive VLSI Layouts of Planar Graphs.	ICCI	1990	DBLP DOI BibTeX RDF
1	Selim G. Akl, Frantisek Fiala, Waldemar W. Koczkodaj (eds.)	Advances in Computing and Information - ICCI'90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings	ICCI	1990	DBLP DOI BibTeX RDF
1	Jerry Place, Vijay Kumar 0002, Appie van de Liefvoort	The Behavior of Database Concurrency Control Mechanisms under Bursty Arrivals.	ICCI	1990	DBLP DOI BibTeX RDF
1	G. H. Masapati, Hasan Ural	Electing a Leader in a Synchronous Scalable Network.	ICCI	1990	DBLP DOI BibTeX RDF
1	Fritz Henglein	Fast Left-Linear Semi-Unification.	ICCI	1990	DBLP DOI BibTeX RDF	semi-unification, left-linear, P-completeness
1	Kassem Saleh, Robert L. Probert	Synthesis of Error-Recoverable Protocol Specifications from Service Specifications.	ICCI	1990	DBLP DOI BibTeX RDF	syntactic correctness, synthesis, error-recovery, protocol design, semantic correctness, Communication software
1	José D. P. Rolim	On the Formal Aspects of Approximation Algorithms.	ICCI	1990	DBLP DOI BibTeX RDF
1	Vincent Y. Lum, Klaus Meyer-Wegener	An Architecture for a Multimedia Database Management System Supporting Content Search.	ICCI	1990	DBLP DOI BibTeX RDF
1	Wanlei Zhou 0001, Brian Molinari	A Model of Execution Time Estimating for RPC-Oriented Programs.	ICCI	1990	DBLP DOI BibTeX RDF	Performance evaluation, Concurrency, Distributed computing, Remote procedure call
1	Robert S. Maier 0001	The Asymptotic Evolution of Data Structures.	ICCI	1990	DBLP DOI BibTeX RDF	expected costs, stochastic modelling, large deviations, dynamic data structures
1	Dafna Sheinwald, Richard C. Pasco	Deriving Deterministic Prediction Rules from Reduction Schemes.	ICCI	1990	DBLP DOI BibTeX RDF	deterministic prediction, progressive coding
1	Jie Wang 0002	Some Remarks on Polynomial Time Isomorphisms.	ICCI	1990	DBLP DOI BibTeX RDF
1	Jan R. Just	Analysis of Self-Reconfigurating Processes of Fault-Tolerant Distributed Computing Systems.	ICCI	1990	DBLP DOI BibTeX RDF
1	David A. Swayne, John Storey, David C.-L. Lam, Isaac W. S. Wong, A. S. Fraser	Applications Development Toolkits for Environmental Modelling and Monitoring.	ICCI	1990	DBLP DOI BibTeX RDF	software engineering, scientific computing, Applications development, microcomputer applications
1	M. Brown, Bogdan D. Czejdo	A Hypertext for Literate Programming.	ICCI	1990	DBLP DOI BibTeX RDF	Database, Hypertext, Literate Programming
1	Russell C. Kick	The Strategic Significance of Expert Systems: Opportunities and Risks (Abstract).	ICCI	1990	DBLP BibTeX RDF
1	Anestis A. Toptsis, Clement T. Yu, Peter C. Nelson	Computing the Transitive Closure of Symmetric Matrices.	ICCI	1990	DBLP DOI BibTeX RDF	Transitive closure, binary relation, symmetric matrix
1	Wlodzimierz Ogryczak, Krzysztof Studzinski, Krystian Zorychta	DINAS: Computer-Assisted System for Multi-Criteria Transportation and Location Analysis.	ICCI	1990	DBLP DOI BibTeX RDF
1	Benjamin Yu	Parallelism via Speculation in Pure Prolog.	ICCI	1990	DBLP DOI BibTeX RDF
1	Victor Yodaiken	A Logic-Free Method for Modular Composition of Specifications.	ICCI	1990	DBLP DOI BibTeX RDF
1	Zhi-Quan Luo	Communication Complexity of Computing a Collection of Rational Functions.	ICCI	1990	DBLP DOI BibTeX RDF

Publications at "ICCI"( http://dblp.L3S.de/Venues/ICCI )