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