- importsource = "00010782-2011-07.txt"
- Artículo:
A Decade of Software Model Checking with SLAM
- Autor:
Thomas Ball
Vladimir Levin
Sriram K. Rajamani
- Resumen:
SLAM is a program-analysis engine used to check if clients of an API follow the API's stateful usage rules.
- Página:
68
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
7
- Periodo:
julio 2011
- ISSN:
00010782
- SrcID:
00010782-2011-07.txt
- Documento número 980120
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
Searching for Jim Gray: A Technical Overview
- Autor:
Joseph M. Hellerstein
David L. Tennenhouse
- Resumen:
The volunteer search for Jim Gray, lost at sea in 2007, highlights the challenges of computer-aided emergency response.
- Página:
77
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
7
- Periodo:
julio 2011
- ISSN:
00010782
- SrcID:
00010782-2011-07.txt
- Documento número 980121
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
The Case for RAMCloud
- Autor:
John Ousterhout
Parag Agrawal
David Erickson
- Resumen:
With scalable high-performance storage entirely in DRAM, RAMCloud will enable a new breed of data-intensive applications.
- Página:
121
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
7
- Periodo:
julio 2011
- ISSN:
00010782
- SrcID:
00010782-2011-07.txt
- Documento número 980122
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
Cellular Telephony and the Question of Privacy
- Autor:
Stephen B. Wicker
- Resumen:
A private overlay may ease concerns over surveillance tools supported by cellular networks.
- Página:
88
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
7
- Periodo:
julio 2011
- ISSN:
00010782
- SrcID:
00010782-2011-07.txt
- Documento número 980123
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
Workload Management for Power Efficiency in Virtualized Data Centers
- Autor:
Gargi Dasgupta
Amit Sharma
Akshat Verma
- Resumen:
Power-aware dynamic application placement can address underutilization of servers as well as the rising energy costs in a data center.
- Página:
131
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
7
- Periodo:
julio 2011
- ISSN:
00010782
- SrcID:
00010782-2011-07.txt
- Documento número 980124
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
