- importsource = "00010782-2011-12.txt"
- Artículo:
Visual Crowd Surveillance Through a Hydrodynamics Lens
- Autor:
Brian E. Moore
Saad Ali
Ramin Mehran
- Resumen:
People in high-density crowds appear to move with the flow of the crowd, like particles in a liquid.
- Página:
64
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
12
- Periodo:
diciembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-12.txt
- Documento número 89437
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
License Risks from Ad Hoc Reuse of Code from the Internet
- Autor:
Manuel Sojer
Joachim Henkel
- Resumen:
Software developers' reuse of code from the Internet bears legal and economic risks for their employers.
- Página:
74
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
12
- Periodo:
diciembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-12.txt
- Documento número 89438
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
Formal Analysis of MPI-based Parallel Programs
- Autor:
Ganesh Gopalakrishnan
Robert M. Kirby
Stephen Siegel
- Resumen:
The goal is reliable parallel simulations, helping scientists understand nature, from how foams compress to how ribosomes construct proteins.
- Página:
82
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
12
- Periodo:
diciembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-12.txt
- Documento número 89439
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
Answer Set Programming at a Glance
- Autor:
Gerhard Brewka
Thomas Eiter
Miros?aw Truszczy?ski
- Resumen:
The motivation and key concepts behind answer set programming — a promising approach to declarative problem solving.
- Página:
92
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
12
- Periodo:
diciembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-12.txt
- Documento número 89440
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
Technical Perspective: Safety First!
- Autor:
Xavier Leroy
- Resumen:
Software misbehaves all too often. This is a truism, but also the driving force behind many computing techniques intended to increase software reliability, safety, and security, ranging from basic testing to full formal verification …
- Página:
122
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
12
- Periodo:
diciembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-12.txt
- Documento número 89441
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
