ICCI 1993:
Sudbury,
Ontario,
Canada
Osman Abou-Rabia, Carl K. Chang, Waldemar W. Koczkodaj (Eds.):
Computing and Information - ICCI'93, Fifth International Conference on Computing and Information, Sudbury, Ontario, Canada, May 27-29, 1993, Proceedings.
IEEE Computer Society 1993, ISBN 0-8186-4212-2 BibTeX
@proceedings{DBLP:conf/icci/1993,
editor = {Osman Abou-Rabia and
Carl K. Chang and
Waldemar W. Koczkodaj},
title = {Computing and Information - ICCI'93, Fifth International Conference
on Computing and Information, Sudbury, Ontario, Canada, May 27-29,
1993, Proceedings},
booktitle = {ICCI},
publisher = {IEEE Computer Society},
year = {1993},
isbn = {0-8186-4212-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Algorithms and Complexity
- David W. Krumme:
Algorithms and Complexity - Introduction.
2 BibTeX
- Dung T. Huynh, Lu Tian:
On the Complexity of Bisimilarity of Normed Probabilistic Context-Free Processes.
3-7 BibTeX
- Vladimir Estivill-Castro, Derick Wood:
An Adaptive Generic Sorting Algorithm That Uses Variable Partitioning.
8-12 BibTeX
- Kevin E. Flannery:
Lambda-Calculi with Decidable Cappa-Type Checking.
13-19 BibTeX
- Mariana Kant:
The Synthesis of Two Compatible Rooted Trees in a Rooted Supertree by an Algorithm on Sets.
20-25 BibTeX
- Madhav V. Marathe, Harry B. Hunt III, S. S. Ravi:
Efficient Approximation Algorithms for Domatic Partition and On-Line Coloring of Circular Arc Graphs.
26-30 BibTeX
- Dipti S. Joshi, R. Sridhar, N. Chandrasekharan:
Efficient Algorithms for All-Pairs Shortest Path Problem on Interval, Directed Path, and Circular-Arc Graphs.
31-35 BibTeX
- Kenneth W. Regan:
On the Difference Between Turing Machine Time and Random-Access Machine Time.
36-40 BibTeX
- H. K. Dai:
Size-Depth Tradeoff for Strictly Non-Blocking Generalized-Concentrators.
41-47 BibTeX
- H. K. Dai:
The Complexity of Deciding Strictly Non-Blocking Concentration and Generalized-Concentration Properties with Small Depth.
48-54 BibTeX
- Lane A. Hemachandra, Albrecht Hoene, Mitsunori Ogiwara, Alan L. Selman, Thomas Thierauf, Jie Wang:
Selectivity.
55-59 BibTeX
- Kok-Phuang Tan, Ghim Hwee Ong, Seng Chuan Tay:
An O(n log2 n) Hybrid Sorting Algorithm on 2-D Grid.
60-64 BibTeX
- Huade Li, Francis Suraweera:
Far Field Path Planning for Rotorcraft NOE Missions in a Mountainous Region.
65-70 BibTeX
- Michael Oudshoorn, Chris D. Marlin:
Interpretive Language Implementation from a Layered Operational Model.
71-76 BibTeX
- Ganesh Baliga, Anil M. Shende:
On Space Bounded Server Algorithms.
77-81 BibTeX
- Elias Dahlhaus:
An Efficient Parallel Recognition Algorithm of Parity Graphs.
82-86 BibTeX
- James Abello, Krishna Kumar, Ömer Egecioglu:
A Combinatorial View of Visibility Graphs of Simple Polygons.
87-92 BibTeX
- Xiao You Zhou, W. A. Davis:
Analysis of Windowing Operations or R+ Trees.
93-97 BibTeX
- Ke Wang, Weining Zhang, Siu-Cheung Chau:
Minimize Linear Mutual Recursion by Rule Unfolding.
98-102 BibTeX
- Mitchell Flatebo, Ajoy Kumar Datta:
Self-Stablizing Fault Location.
103-107 BibTeX
Distributed Computing
- David W. Krumme:
Distributed Computing - Introduction.
110 BibTeX
- Thomas Hardjono, Tadashi Ohta:
Fixed-Path Proxy-Logins with Assured Termination.
111-115 BibTeX
- Keizo Kawata, Akira Takura, Tadashi Ohta:
On a Communication Software Generation Method from Communication Service Specifications Described by a Declarative Language.
116-122 BibTeX
- Richard T. Hurley, Soon Aun Yeap, J. W. Wong, James P. Black:
Potential Benefits of File Migration in a Heterogeneous Distributed File System.
123-127 BibTeX
- Jianxun Ding, Hong Jiang:
Impact of Priority-Based ATM Switch Design on System Performance.
128-132 BibTeX
- Andrew F. Watts, David H. Pitt, Colin Smythe:
Object Oriented Specification of Multi-Layered Protocols.
133-139 BibTeX
- Osman ZeinElDine, Mohamed Eltoweissy, Hussein M. Abdel-Wahab:
BUS: A Multicasting Protocol for Interconnected LANs.
140-144 BibTeX
- Siu-Cheung Chau:
On Implementing Large Fault-Tolerant Binary Tree Architecture in WSI.
145-149 BibTeX
- X. Li, Richard Lai, Tharam S. Dillon:
A New Decomposition Method to Relieve the State Space Explosion Problem.
150-154 BibTeX
- Dung T. Huynh, Hai N. Nguyen:
On the Rearrangeability of Switching Networks Composed of Digital Symmetrical Matrices.
155-159 BibTeX
- Vaidy S. Sunderam:
DCL: Protocols and Primitives for Distributed and Concurrent Computing in Networked Environments.
160-164 BibTeX
- James Z. Zhou, Masaaki Mizuno, Gurdip Singh:
A Sequentially Consistent Distributed Shared Memory.
165-169 BibTeX
- James W. Hong, Michael A. Bauer, John A. O'Neill:
Design and Implementation of a Distributed Applications Testbed.
170-174 BibTeX
- Shun Yan Cheung, Vaidy S. Sunderam:
Performance of Barrier Synchronization Methods in a Multi-Access Network.
175-179 BibTeX
- Sridhar Hannenhalli, Kalyan S. Perumalla, N. Chandrasekharan, R. Sridhar:
A Distributed Algorithm for Ear Decomposition.
180-184 BibTeX
- Ismail H. Toroslu, Lawrence J. Henschen:
An Efficient Transitive Closure Algorithm for Distributed Databases.
185-189 BibTeX
- Bernard Cousin:
Differential Hashing Functions: Application to Reachability Graph Generation.
190-194 BibTeX
- Dag Johansen:
A Distributed Approach to the Design of Applications.
195-201 BibTeX
- Hosame Abu-Amara, Arkady Kanevsky:
On the Complexities of the Leader Election Algorithms.
202-206 BibTeX
- Constantine Stivaros:
Solvable Classes for Reliable Network Allocation.
207-211 BibTeX
Concurrency and Parallelism
- Michael A. Langston:
Concurrency and Parallelism - Introduction.
214 BibTeX
- Xining Li, He Huang:
On the Concurrency of C++.
215-219 BibTeX
- Christophe Cérin, Catherine Dufourd, Jean Frédéric Myoupo:
An Efficient Parallel Solution for the Longest Increasing Subsequence Problem.
220-224 BibTeX
- Ivan Stojmenovic:
Job Simulation Techniques on Incomplete and Gray Code Incomplete Hypercubes.
225-229 BibTeX
- Eric E. Johnson:
Independent Performance Modeling of Parallel Architectures and Algorithms.
230-234 BibTeX
- Weichang Du:
Context Parallelism in an Indexical Programming Language.
235-239 BibTeX
- Shi-Jinn Horng:
Parallel Compting Dominators on Hypercube Multiprocessors.
240-243 BibTeX
- Dominique Bolignano, Mourad Debbabi:
A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming.
244-250 BibTeX
- Dawn N. Jutla, Peter Bodorik, J. Spruce Riordon:
Integrated Concurrency-Coherence Control in Distributed Shared Memory.
251-255 BibTeX
- F. Choi, I. W. Chan:
A Simple Optimal Parallel Dicitionary Machine.
256-260 BibTeX
- Chung-Kwong Yuen, Ming-Dong Feng, Jenn-Jong Yee:
Speculative Parallelism in BaLinda Lisp.
261-265 BibTeX
- Dipak Pravin Doctor, Ivan Hal Sudborough:
Parallel Algorithm for Quadtree Medial Axis Transform.
266-271 BibTeX
- Tahany A. Fergany, Reda A. Ammar, Mohamad R. Neilforoshan-Dardashti:
Optimizing the Time Cost of the Parallel Structures with a Limited Number of Processors.
272-276 BibTeX
- Anestis A. Toptsis:
B**-Tree: A Data Organization Method for High Storage Utilization.
277-281 BibTeX
- Anestis A. Toptsis:
B***-Tree: A Family of Efficient Data Packaging Multiway Trees.
282-286 BibTeX
Artificial Intelligence
- Jerzy W. Grzymala-Busse:
Artificial Intelligence - Introduction.
288 BibTeX
- Pawan Lingras:
Combination of Evidence in Rough Set Theory.
289-293 BibTeX
- Frank Ng, Gregory Butler:
Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology.
294-298 BibTeX
- Shie-Jue Lee, Chih-Hung Wu:
Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures.
299-304 BibTeX
- Vladimir Estivill-Castro:
The Design of Competitive Algorithms via Genetic Algorithms.
305-309 BibTeX
- Sylvain Delisle, Terry Copeck, Stan Szpakowicz, Ken Barker:
Pattern Matching for Case Analysis: A Computational Definition of Closeness.
310-315 BibTeX
- Adil Kabbaj, Claude Frasson:
Dynamic Integration of Knowledge in Memory.
316-320 BibTeX
- Chih-Hung Wu, Shie-Jue Lee:
An Object-Oriented Expert System for Local Area Network Design.
321-326 BibTeX
- Eugeniusz Eberbach, Piotr W. Prószynski:
The CSA Approach to Knowledge Representation in Neural Networks.
327-331 BibTeX
- Walter A. Sedelow Jr., Sally Yeates Sedelow:
Interlinguae.
332-338 BibTeX
- Sally Yeates Sedelow, Walter A. Sedelow Jr.:
The Concept concept.
339-343 BibTeX
- John Brady:
Structural and Behavioral Representations in Roget's International Thesaurus.
344-348 BibTeX
- Robert E. Kent, John Brady:
Formal Concept Analysis with Many-Sorted Attributes.
349-353 BibTeX
- Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou:
Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions.
354-358 BibTeX
- James Abello, Anne Houang, James Russell:
A Hierarchy of Pattern Recognition Algorithms for the Diagnosis of Sucker Rod Pumped Wells.
359-364 BibTeX
- Alois P. Heinz, Christoph Hense:
Botstrap Learning of Alpha-Beta-Evaluation Functions.
365-369 BibTeX
- Y. Y. Yao:
Interval-Set Algebra for Qualitative Knowledge Representation.
370-374 BibTeX
- Marimin, Robert E. Mercer, J. M. Carroll:
Designing a Stochastic Parameter Reasoner.
375-379 BibTeX
- Kia Makki, Ken Been, Niki Pissinou:
A Parallel Algorithm for the Steiner Tree Problem.
380-384 BibTeX
- Nga Kwo Liu:
Formal Description and Verification of Knowledge Base Redundancy and Subsumption.
385-389 BibTeX
Software Engineering and Information Technology
- Pradip K. Srimani:
Software Engineering and Information Technology - Introduction.
392 BibTeX
- Martin Boogaard, Jonas M. de Graaff, René J. Veldwijk:
Why Views Do Not Provide Logical Data Independence.
393-397 BibTeX
- Martin Lefering:
A Framework for Incremental Integration Tools.
398-402 BibTeX
- Christos Bouras, Paul G. Spirakis:
The Perfect and Imperfect Clocks Approach to Performance Analysis of Basic Timestamp Ordering in Distributed Databases.
403-407 BibTeX
- Jian Yang, Mike P. Papazoglou:
Case-Based Reasoning Methodology for Analyzing Multi-Database Schemas.
408-412 BibTeX
- Lilian Harada, Naoki Akaboshi:
Evaluation of Linear Join Processing Trees in Shared-Nothing Database Environment.
413-417 BibTeX
- Sieglinde Stainer, Stefan Biffl, Thomas Grechenig:
The Descriptor Theory - What is about?.
418-422 BibTeX
- Paul A. Bailes, Ming Gong, Andrew Moran:
Why Functional Languages Really Need Parallelism.
423-427 BibTeX
- Michael Zapp, Ken Barker:
The Serializability of Transactions in Object Bases.
428-432 BibTeX
- Bogdan D. Czejdo, Ralph P. Tucci, David W. Embley, Stephen W. Liddle:
Graphical Query Specification with Participation Constraints.
433-437 BibTeX
- Soon Myoung Chung, Khalid A. Elghayesh:
A Timestamp-Based Concurrency Control Algorithm for Heterogeneous Distributed Databases.
438-442 BibTeX
- Soon Myoung Chung, C. N. Ravikiran:
A Heterogeneous Distributed Information System.
443-447 BibTeX
- Jian-Yun Nie, François Paradis, Jean G. Vaucher:
Using Information Retrieval for Software Reuse.
448-452 BibTeX
- Daniel K. C. Chan, David J. Harper, Philip W. Trinder:
An Object-Oriented Data Model Specification.
453-457 BibTeX
- Mohamed Eltoweissy, Hussein M. Abdel-Wahab, M. Abougabal, Nagwa M. El-Makky, Souheir A. Fouad:
Performance Analysis of Time-Stamp Ordering Algorithms in Database Systems: The Pure Restarts Case.
458-463 BibTeX
- Guttorm Sindre, Even-André Karlsson, Tor Stålhane:
A Method for Software Reuse Through Large Component Libraries.
464-468 BibTeX
- Anneliese von Mayrhauser, A. Marie Vans:
From Code Comprehension Model to Tool Capabilities.
469-473 BibTeX
- Robert B. France, Thomas W. G. Docker:
Towards CASE Tool Support for Rigorous Structured Analysis.
474-478 BibTeX
- Hee Beng Kuan Tan, Tok Wang Ling, Yin Seong Ho:
Improving the Reusability of Program Specification Through Data Flow Modeling.
479-483 BibTeX
- Franco Arcieri, Stefano Ercoli, Enrico Nardelli:
The GeoSQL Language for the Manipulation of Geographical Data.
484-490 BibTeX
- Sunil Choenni, Henk M. Blanken, Thiel Chang:
Index Selection in Relational Databases.
491-496 BibTeX
- Xiaofang Zhou, Maria E. Orlowska:
Parallel Naive and Semi-Naive Transitive Closure Evaluation.
497-501 BibTeX
- Barry Eaglestone, G. L. Davies, T. Ungvary:
An Extended Version Model for Artistic Design Applications.
502-506 BibTeX
- M. R. Girardi, Bertrand Ibrahim:
A Software Reuse System Based on Natural Language Specifications.
507-511 BibTeX
- Mohand Boughanem, Redouane Layaida, Armand Caron:
A Neural Network Model for Documentary Base Self-Organising and Querying.
512-518 BibTeX
- Aarthi Prasad, E. K. Park:
AI-Based Classification and Retrieval of Reusable Software Components.
519-523 BibTeX
- Paul A. Bailes, Dan B. Johnston, Eric J. Salzman:
Preprocessing First-Class Functions for Ada.
524-528 BibTeX
- Lin Chen, René Schott:
Optimal Operations on Red-Black Trees.
529-533 BibTeX
- Jean-Pierre Corriveau, Bill Macready:
On Driving and Monitoring Smalltalk-80 Applications Using Unix Spreadsheets.
534-538 BibTeX
- Xuemin Lin, Maria E. Orlowska, Yanchun Zhang:
On Data Allocation with the Minimum Overall Communication Costs in Distributed Database Design.
539-544 BibTeX
- Mehmet A. Orgun, William W. Wadge, Weichang Du:
Chronolog (Z): Linear-Time Logic Programming.
545-549 BibTeX
- Kleanthis Psarris, David Klappholz:
Eliminating Unnecessary Array Bounds Checks in Nests of Loops.
550-554 BibTeX
- Jean-François Merlet, Corinne Nadalin:
Multimedia Databases Modeling.
555-559 BibTeX
- Christian Soutou:
Towards a Methodology for Developing a Federated Database System.
560-564 BibTeX
- C. Y. Roger Chen, Kingsley C. Nwosu, P. Bruce Berra:
Modeling and Storage Allocation Strategies for Homogeneous Parallel Access Storage Devices in Real Time Multimedia Information Processing.
565-569 BibTeX
- Yu Chin Cheng, Le Gruenwald, Greg Ingels, M. T. Thakkar:
Evaluating Partitioning Techniques for Main Memory Database: Horizontal and Single Vertical.
570-574 BibTeX
- Chien-Tsai Liu, Shi-Kuo Chang, Panos K. Chrysanthis:
An Entity-Relationship Approach to Schema Evolution.
575-578 BibTeX
- Atsuko Oka, Shuichiro Yamamoto, Sadahiro Isoda:
Consistency Management for Software Design Information Repository.
579-585 BibTeX
Copyright © Sat May 16 23:16:44 2009
by Michael Ley (ley@uni-trier.de)
