Coverart for item
The Resource Advances in Computing and Information — ICCI '90 : International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings, edited by S. G. Akl, F. Fiala, W. W. Koczkodaj, (electronic resource)

Advances in Computing and Information — ICCI '90 : International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings, edited by S. G. Akl, F. Fiala, W. W. Koczkodaj, (electronic resource)

Label
Advances in Computing and Information — ICCI '90 : International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings
Title
Advances in Computing and Information — ICCI '90
Title remainder
International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings
Statement of responsibility
edited by S. G. Akl, F. Fiala, W. W. Koczkodaj
Creator
Contributor
Editor
Provider
Subject
Language
eng
Summary
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
Member of
http://library.link/vocab/creatorName
Akl, S. G
Image bit depth
0
LC call number
QA75.5-76.95
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Fiala, F.
  • Koczkodaj, W. W.
  • SpringerLink
Series statement
Lecture Notes in Computer Science,
Series volume
468
http://library.link/vocab/subjectName
  • Computer science
  • Software engineering
  • Coding theory
  • Computer software
  • Computer Science
  • Models and Principles
  • Computation by Abstract Devices
  • Algorithm Analysis and Problem Complexity
  • Coding and Information Theory
  • Programming Techniques
  • Software Engineering
Label
Advances in Computing and Information — ICCI '90 : International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings, edited by S. G. Akl, F. Fiala, W. W. Koczkodaj, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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
Dimensions
unknown
Extent
X, 438 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783540466772
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/3-540-53504-7
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-46677-2
Label
Advances in Computing and Information — ICCI '90 : International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings, edited by S. G. Akl, F. Fiala, W. W. Koczkodaj, (electronic resource)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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
Dimensions
unknown
Extent
X, 438 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783540466772
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/3-540-53504-7
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-46677-2

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...