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
A Sampler of Formal Definitions
Michael Marcotty; Henry Ledgard; Gregor V. Bochmann
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 191-276
A Conceptual Framework for Computer Architecture
S. S. Reddi; E. A. Feustel
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 277-300
Guest Editorial…
Raymond T. Yeh
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 301-303
Data Flow Analysis in Software Reliability
Lloyd D. Fosdick; Leon J. Osterweil
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 305-330
An Introduction to Proving the Correctness of Programs
Sidney L. Hantler; James C. King
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 331-353
Guest Editorial…
Raymond T. Yeh
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 355-357
Fault Tolerant Operating Systems
Peter J. Denning
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 359-389
Fault-Tolerant Software for Real-Time Applications
H. Hecht
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 391-407
Operating System Structures to Support Security and Reliable Software
Theodore A. Linden
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 409-445
Guest Editorial: An Overview of Parallel Processors and Processing
Tse-Yun Feng
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 1-2