- importsource = "00010782-2009-03.txt"
- Artículo:
Erlang for concurrent programming
- Autor:
Jim Larson
- Resumen:
Designed for concurrency from the ground up, the Erlang language can be a valuable tool to help solve concurrent problems.
- Página:
48
- Sección:
Practice
- Publicación:
Communications of the ACM
- Volúmen:
52
- Número:
3
- Periodo:
marzo 2009
- ISSN:
00010782
- SrcID:
00010782-2009-03.txt
- Documento número 630820
- Actualizado el martes, 10 de julio de 2018 10:24:51 a. m.
- Creado el martes, 10 de julio de 2018 10:24:51 a. m.
- Enlace directo
- Artículo:
Reflecting human values in the digital age
- Autor:
Abigail Selle
Yvonne Rogers
Richard Harper
Tom Rodden
- Resumen:
HCI experts must broaden the field's scope and adopt new methods to be useful in 21st-century sociotechnical environments
- Página:
58
- Sección:
Contributed articles
- Publicación:
Communications of the ACM
- Volúmen:
52
- Número:
3
- Periodo:
marzo 2009
- ISSN:
00010782
- SrcID:
00010782-2009-03.txt
- Documento número 630821
- Actualizado el martes, 10 de julio de 2018 10:24:51 a. m.
- Creado el martes, 10 de julio de 2018 10:24:51 a. m.
- Enlace directo
- Artículo:
Statecharts in the making
- Autor:
David Harel
- Resumen:
How avionics work led to a graphical language for reactive systems where the diagrams themselves define the system's behavior.
- Página:
67
- Sección:
Contributed articles
- Publicación:
Communications of the ACM
- Volúmen:
52
- Número:
3
- Periodo:
marzo 2009
- ISSN:
00010782
- SrcID:
00010782-2009-03.txt
- Documento número 630822
- Actualizado el martes, 10 de julio de 2018 10:24:51 a. m.
- Creado el martes, 10 de julio de 2018 10:24:51 a. m.
- Enlace directo
- Artículo:
Probabilistically checkable proofs
- Autor:
Madhu Sudan
- Resumen:
Can a proof be checked without reading it?
- Página:
76
- Sección:
Review articles
- Publicación:
Communications of the ACM
- Volúmen:
52
- Número:
3
- Periodo:
marzo 2009
- ISSN:
00010782
- SrcID:
00010782-2009-03.txt
- Documento número 630823
- Actualizado el martes, 10 de julio de 2018 10:24:51 a. m.
- Creado el martes, 10 de julio de 2018 10:24:51 a. m.
- Enlace directo
- Artículo:
Technical perspective: The beauty of error-correcting codes
- Autor:
Daniel A. Spielman
- Resumen:
Error-correcting codes are the means by which we compensate for interference in communication, and are essential for the accurate transmission and storage of digital data.
- Página:
86
- Sección:
Research highlights
- Publicación:
Communications of the ACM
- Volúmen:
52
- Número:
3
- Periodo:
marzo 2009
- ISSN:
00010782
- SrcID:
00010782-2009-03.txt
- Documento número 630824
- Actualizado el martes, 10 de julio de 2018 10:24:51 a. m.
- Creado el martes, 10 de julio de 2018 10:24:51 a. m.
- Enlace directo
