Willkommen, schön sind Sie da!
Logo Ex Libris

Advances in Computing and Information - ICCI '90

  • Kartonierter Einband
  • 448 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
Alle Bewertungen ansehen
This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90,... Weiterlesen
130.00 CHF 104.00
Sie sparen CHF 26.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich


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.

This volume contains selected and invited papers presented at ICCI '90. Topics range over theory of comput- ing, algorithms and programming, data and software engineering, computer architecture, concurrency, parallelism, communication and networking.

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.


Titel: Advances in Computing and Information - ICCI '90
Untertitel: International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Proceedings
EAN: 9783540535041
ISBN: 3540535047
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 448
Gewicht: 674g
Größe: H235mm x B155mm x T24mm
Jahr: 1991
Untertitel: Englisch
Auflage: 1990

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"