Catálogo de publicaciones - revistas

Compartir en
redes sociales


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

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