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
The future of program analysis
Barbara Ryder
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 174
On the need for a popular formal semantics
David A. Schmidt
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 175
Provably secure programming languages for remote evaluation
Dennis Volpano
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 176
Program analysis—a toolmaker's perspective
Reinhard Wilhelm
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 177
Broadening real-time systems research
Alan Burns
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 178
Technical and educational challenges for real-time computing
Kevin Jeffay
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 179
Consumer real-time systems
Mike Jones
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 180
Large-scale distributed real-time systems
Gary Koob
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 181
Formal verification, testing and checking of real-time systems
Insup Lee
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 182
Analytical methods for real-time computing
John Lehoczky
Palabras clave: General Computer Science; Theoretical Computer Science.
Pp. 183