Catálogo de publicaciones - revistas
ACM Computing Surveys (CSUR)
Resumen/Descripción – provisto por la editorial en inglés
A journal of the Association for Computing Machinery (ACM), which publishes surveys, tutorials, and special reports on all areas of computing research. Volumes are published yearly in four issues appearing in March, June, September, and December.Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
Institución detectada | Período | Navegá | Descargá | Solicitá |
---|---|---|---|---|
No detectada | desde mar. 1969 / hasta dic. 2023 | ACM Digital Library |
Información
Tipo de recurso:
revistas
ISSN impreso
0360-0300
ISSN electrónico
1557-7341
Editor responsable
Association for Computing Machinery (ACM)
País de edición
Estados Unidos
Fecha de publicación
1969-
Cobertura temática
Tabla de contenidos
Dynamic specialization in the Fabius system
Mark Leone; Peter Lee
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 23
Visualizing partial evaluation
Oscar Waddell; R. Kent Dybvig
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 24
Editorial
Peter Wegner; Marvin Israel
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 284
1998 symposium on partial evaluation
Olivier Danvy; Robert Glück; Peter Thiemann
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 285-290
Concurrency and distribution in object-oriented programming
Jean-Pierre Briot; Rachid Guerraoui; Klaus-Peter Lohr
<jats:p> This paper aims at discussing and classifying the various ways in which the object paradigm is used in concurrent and distributed contexts. We distinguish among the <jats:italic>library</jats:italic> approach, the <jats:italic>integrative</jats:italic> approach, and the <jats:italic>reflective</jats:italic> approach. The library approach applies object-oriented concepts, as they are, to structure concurrent and distributed systems through class libraries. The integrative approach consists of merging concepts such as object and activity, message passing, and transaction, etc. The reflective approach integrates class libraries intimately within an object-based programming language. We discuss and illustrate each of these and point out their complementary levels and goals. </jats:p>
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 291-329
Garbage collecting the Internet
Saleh E. Abdullahi; Graem A. Ringwood
<jats:p>Internet programming languages such as Java present new challenges to garbage-collection design. The spectrum of garbage-collection schema for linked structures distributed over a network are reviewed here. Distributed garbage collectors are classified first because they evolved from single-address-space collectors. This taxonomy is used as a framework to explore distribution issues: locality of action, communication overhead and indeterministic communication latency.</jats:p>
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 330-373
Wormhole routing techniques for directly connected multicomputer systems
Prasant Mohapatra
<jats:p>Wormhole routing has emerged as the most widely used switching technique in massively parallel computers. We present a detailed survey of various techniques for enhancing the performance and reliability of wormhole-routing schemes in directly connected networks. We start with an overview of the direct network topologies and a comparison of various switching techniques. Next, the characteristics of the wormhole routing mechanism are described in detail along with the theory behind deadlock-free routing. The performance of routing algorithms depends on the selection of the path between the source and the destination, the network traffic, and the router design. The routing algorithms are implemented in the router chips. We outline the router characteristics and describe the functionality of various elements of the router. Depending on the usage of paths between the source and the destination, routing algorithms are classified as deterministic, fully adaptive, and partially adaptive. We discuss several representative algorithms for all these categories. The algorithms within each category vary in terms of resource requirements and performance under various traffic conditions. The main difference among various adaptive routing schemes is the technique used to avoid deadlocks. We also discuss a few algorithms based on deadlock recovery techniques. Along with performance, fault tolerance is essential for message routing in multicomputers, and we thus discuss several fault-tolerant wormhole routing algorithms along with their fault-handling capabilities. These routing schemes enable a message to reach its destination even in the presence of faults in the network. The implementation details of wormhole routing algorithms in contemporary commercial systems are also discussed. We conclude by itemizing several future directions and open issues.</jats:p>
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 374-410
About this issue…
Peter Wegner
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 411
Efficient algorithms for geometric optimization
Pankaj K. Agarwal; Micha Sharir
<jats:p>We review the recent progress in the design of efficient algorithms for various problems in geometric optimization. We present several techniques used to attack these problems, such as parametric searching, geometric alternatives to parametric searching, prune-and-search techniques for linear programming and related problems, and LP-type problems and their efficient solution. We then describe a wide range of applications of these and other techniques to numerous problems in geometric optimization, including facility location, proximity problems, statistical estimators and metrology, placement and intersection of polygons and polyhedra, and ray shooting and other query-type problems.</jats:p>
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 412-458
A survey of structured and object-oriented software specification methods and techniques
Roel Wieringa
<jats:p>This article surveys techniques used in structured and object-oriented software specification methods. The techniques are classified as techniques for the specification of external interaction and internal decomposition. The external specification techniques are further subdivided into techniques for the specification of functions, behavior, and communication. After surveying the techniques, we summarize the way they are used in structured and object-oriented methods and indicate ways in which they can be combined. This article ends with a plea for simplicity in diagram techniques and for the use of formal semantics to define these techniques. The appendices show how the reviewed techniques are used in 6 structured and 19 object-oriented specification methods.</jats:p>
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 459-527