Advances in computing and information--ICCI '90 : International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990 : proceedings
著者
書誌事項
Advances in computing and information--ICCI '90 : International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990 : proceedings
（Lecture notes in computer science, 468）
Springer-Verlag, c1990
- : gw
- : us
大学図書館所蔵 件 / 全58件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes index
内容説明・目次
内容説明
This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.
目次
Summaries of invited lectures.- The asymptotic evolution of data structures.- On the formal aspects of approximation algorithms.- Selected aspects of the calculus of self-modifiable algorithms theory.- Almost-everywhere complexity, bi-immunity and nondeterministic space.- Deriving deterministic prediction rules from reduction schemes.- Probabilistic analysis of set operations with constant-time set equality test.- Classification by minimum-message-length inference.- Fast left-linear semi-unification.- On the complexity of (off-line) 1-tape ATM's running in constant reversals.- A constant update time finger search tree.- Average case analysis of algorithms using matrix recurrences.- Finding two-tree-factor elements of tableau-defined monoids in time O(n 3).- Toward a general theory of computation and specification over abstract data types.- Using the hamiltonian path operator to capture NP.- Some remarks on polynomial time isomorphisms.- An axiomatization of wait-freedom and low-atomicity.- The Gamma model as a functional programming tool.- Computing the transitive closure of symmetric matrices.- An environment for information system prototyping: A system simulation approach.- A logic-free method for modular composition of specifications.- On real-time program specification description with a data model-based language.- DINAS: Computer-assisted system for multi-criteria transportation and location analyses.- Logic programming for software testing.- Block concatenated code word surrogate file for partial match retrieval.- Applications development toolkits for environmental modelling and monitoring.- A hypertext for literate programming.- Ethics and computers: Can universities set the standards?.- Alternatives to the B+- tree.- Minimal perfect hashing for large sets of data.- Architectural classification and transaction execution models of multidatabase systems.- Semantic query optimization in distributed databases.- An architecture for a multimedia database management system supporting content search.- Adaptive expert systems and analogical problem solving.- The behavior of database concurrency control mechanisms under bursty arrivals.- The core concurrency.- Concurrent data structures.- Asynchronous functional parallel programs.- Symbolic configuration for SuperNode multiprocessors.- A model of execution time estimating for RPC-oriented programs.- Parallel computation of Longest-Common-Subsequence.- Parallel Breadth-first and Breadth-depth traversals of general trees.- Parallelism via speculation in pure Prolog.- Synthesis of error-recoverable protocol specifications from service specifications.- A parallel algorithm for path-min queries in trees.- Efficient deterministic parallel algorithms for integer sorting.- A model of communication in Ada using shared data abstractions.- Communication complexity of computing a collection of rational functions.- Electing a leader in a synchronous recursively scalable network.- Analysis of self-reconfigurating process of fault-tolerant distributed computing systems.- Control of bottlenecks in a network database machine.- A hierarchical multirate method for circuit simulation on parallel computers.- I/O overhead and parallel VLSI architectures for lattice computations.- Optimality of gauge and degree-sensitive VLSI layouts of planar graphs.- An efficient VLSI network bridge architecture for local area networks.
「Nielsen BookData」 より
