Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings /
ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains nineteen selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the theory of computing and systems.
Main Authors: | , , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1992
|
Subjects: | Computer science., Computer memory systems., Computers., Algorithms., Computer logic., Mathematical logic., Computer Science., Theory of Computation., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity., Logics and Meanings of Programs., Mathematical Logic and Formal Languages., Memory Structures., |
Online Access: | http://dx.doi.org/10.1007/BFb0035160 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:202199 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:2021992018-07-30T23:29:28ZTheory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / Dolev, D. editor. Galil, Z. editor. Rodeh, M. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1992.engISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains nineteen selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the theory of computing and systems.Merging and splitting priority queues and deques in parallel -- Lower bounds for the complexity of functions in a realistic RAM model -- On Boolean decision trees with faulty nodes -- Interval graphs, interval orders and the consistency of temporal events (extended abstract) -- Higher order functions in first order logics -- Reduction relations in strict applicative languages -- Approximation algorithms for minimum time broadcast -- The complexity of reconfiguring network models -- Optimal mapping in direct mapped cache environments -- New algorithms for generalized network flows -- Factoring polynomials via relation-finding -- New resultant inequalities and complex polynomial factorization -- Can symmetric Toeplitz solvers be strongly stable? -- Bounds on parallel computation of multivariate polynomials -- Time-lapse snapshots -- Concurrent Timestamping made simple -- Distributed evaluation: a tool for constructing distributed detection programs -- Foundations of asymptotical theory of Determinate Compact Testing -- Optimal k-colouring and k-nesting of intervals.ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains nineteen selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the theory of computing and systems.Computer science.Computer memory systems.Computers.Algorithms.Computer logic.Mathematical logic.Computer Science.Theory of Computation.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Memory Structures.Springer eBookshttp://dx.doi.org/10.1007/BFb0035160URN:ISBN:9783540472148 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Computer memory systems. Computers. Algorithms. Computer logic. Mathematical logic. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Memory Structures. Computer science. Computer memory systems. Computers. Algorithms. Computer logic. Mathematical logic. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Memory Structures. |
spellingShingle |
Computer science. Computer memory systems. Computers. Algorithms. Computer logic. Mathematical logic. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Memory Structures. Computer science. Computer memory systems. Computers. Algorithms. Computer logic. Mathematical logic. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Memory Structures. Dolev, D. editor. Galil, Z. editor. Rodeh, M. editor. SpringerLink (Online service) Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / |
description |
ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains nineteen selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the theory of computing and systems. |
format |
Texto |
topic_facet |
Computer science. Computer memory systems. Computers. Algorithms. Computer logic. Mathematical logic. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Memory Structures. |
author |
Dolev, D. editor. Galil, Z. editor. Rodeh, M. editor. SpringerLink (Online service) |
author_facet |
Dolev, D. editor. Galil, Z. editor. Rodeh, M. editor. SpringerLink (Online service) |
author_sort |
Dolev, D. editor. |
title |
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / |
title_short |
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / |
title_full |
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / |
title_fullStr |
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / |
title_full_unstemmed |
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / |
title_sort |
theory of computing and systems [electronic resource] : istcs '92, israel symposium haifa, israel, may 27–28, 1992 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1992 |
url |
http://dx.doi.org/10.1007/BFb0035160 |
work_keys_str_mv |
AT dolevdeditor theoryofcomputingandsystemselectronicresourceistcs92israelsymposiumhaifaisraelmay27281992proceedings AT galilzeditor theoryofcomputingandsystemselectronicresourceistcs92israelsymposiumhaifaisraelmay27281992proceedings AT rodehmeditor theoryofcomputingandsystemselectronicresourceistcs92israelsymposiumhaifaisraelmay27281992proceedings AT springerlinkonlineservice theoryofcomputingandsystemselectronicresourceistcs92israelsymposiumhaifaisraelmay27281992proceedings |
_version_ |
1756267668034289664 |