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

Monitor classification

Peter A. Buhr; Michel Fortier; Michael H. Coffin

<jats:p> One of the most natural, elegant, and efficient mechanisms for synchronization and communication, especially for systems with shared memory, is the <jats:italic>monitor</jats:italic> . Over the past twenty years many kinds of monitors have been proposed and implemented, and many modern programming languages provide some form of monitor for concurrency control. This paper presents a taxonomy of monitors that encompasses all the extant monitors and suggests others not found in the literature or in existing programming languages. It discusses the semantics and performance of the various kinds of monitors suggested by the taxonomy, and it discusses programming techniques suitable to each. </jats:p>

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 63-107

Fringe analysis revisited

Ricardo A. Baeza-Yates

<jats:p>Fringe analysis is a technique used to study the average behavior of search trees. In this paper we survey the main results regarding this technique, and we improve a previous asymptotic theorem. At the same time, we present new developments and applications of the theory that allow improvements in several bounds on the behavior of search trees. Our examples cover binary search trees, AVL-trees, 2–3 trees, and B-trees.</jats:p>

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 109-119

The scope and tutorial needs of the ACM SIGs

<jats:p>To encourage greater participation of ACM's Special Interest Groups in COMPUTING SURVEYS, each SIG was recently invited to describe briefly its scope and tutorial needs. Stu Zweben's introduction is followed by submissions from SIGACT, SIGART, SIGBIO, SIGCHI, SIGIR, SIGLINK, and SIGOIS that describe their evolution, scope, and tutorial needs. Submissions from other SIGs will be included in the next few issues.</jats:p>

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 121-137

Object orientation in multidatabase systems

Evaggelia Pitoura; Omran Bukhres; Ahmed Elmagarmid

<jats:p>A multidatabase system (MDBS) is a confederation of preexisting distributed, heterogeneous, and autonomous database systems. There has been a recent proliferation of research suggesting the application of object-oriented techniques to facilitate the complex task of designing and implementing MDBSs. Although this approach seems promising, the lack of a general framework impedes any further development. The goal of this paper is to provide a concrete analysis and categorization of the various ways in which object orientation has affected the task of designing and implementing MDBSs.</jats:p> <jats:p>We identify three dimensions in which the object-oriented paradigm has influenced this task: the general system architecture, the schema architecture, and the heterogeneous transaction management. Then we provide a classification and a comprehensive analysis of the issues related to each of the above dimensions. To demonstrate the applicability of this analysis, we conclude with a comparative review of existing multidatabase systems.</jats:p>

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 141-195

Attribute grammar paradigms—a high-level methodology in language implementation

Jukka Paakki

<jats:p>Attribute grammars are a formalism for specifying programming languages. They have been applied to a great number of systems automatically producing language implementations from their specifications. The systems and their specification languages can be evaluated and classified according to their level of application support, linguistic characteristics, and degree of automation.</jats:p> <jats:p>A survey of attribute grammar-based specification languages is given. The modern advanced specification languages extend the core attribute grammar model with concepts and primitives from established programming paradigms. The main ideas behind the developed attribute grammar paradigms are discussed, and representative specification languages are presented with a common example grammar. The presentation is founded on mapping elements of attribute grammars to their counterparts in programming languages. This methodology of integrating two problem-solving disciplines together is explored with a classification of the paradigms into structured, modular, object-oriented, logic, and functional attribute grammars. The taxonomy is complemented by introducing approaches based on an implicit parallel or incremental attribute evaluation paradigm.</jats:p>

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 196-255

Research directions in software architecture

David Garlan

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 257-261

Research directions in software composition

Oscar Nierstrasz; Theo Dirk Meijler

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 262-264

Mediation in information systems

Gio Wiederhold

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 265-267

Interoperability issues in large-scale distributed object systems

Frank Manola

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 268-270

Semantic interoperability

Sandra Heiler

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 271-273