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