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
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