- importsource = "00010782-2009-07.txt"
- Artículo:
Technical Perspective: The Ultimate Pilot Program
- Autor:
Stuart Russell, Lawrence Saul
- Resumen:
In one scene from The Matrix, two leaders of the human resistance are trapped on the roof of a skyscraper. The only means of escape is by helicopter, which neither can operate …
- Página:
96
- Sección:
Research highlights
- Publicación:
Communications of the ACM
- Volúmen:
52
- Número:
7
- Periodo:
Julio 2009
- ISSN:
00010782
- SrcID:
00010782-2009-07.txt
- Documento número 979695
- Actualizado el martes, 10 de julio de 2018 11:05:18 a. m.
- Creado el martes, 10 de julio de 2018 11:05:18 a. m.
- Enlace directo
- Artículo:
Apprenticeship Learning for Helicopter Control
- Autor:
Adam Coates, Pieter Abbeel, Andrew Y. Ng
- Resumen:
Autonomous helicopter flight is widely regarded to be a highly challenging control problem. As helicopters are highly unstable and exhibit complicated dynamical behavior, it is particularly difficult to design controllers that …
- Página:
97
- Sección:
Research highlights
- Publicación:
Communications of the ACM
- Volúmen:
52
- Número:
7
- Periodo:
Julio 2009
- ISSN:
00010782
- SrcID:
00010782-2009-07.txt
- Documento número 979696
- Actualizado el martes, 10 de julio de 2018 11:05:18 a. m.
- Creado el martes, 10 de julio de 2018 11:05:18 a. m.
- Enlace directo
- Artículo:
Technical Perspective: A Compiler's Story
- Autor:
Greg Morrisett
- Resumen:
In the early 1970s, pioneers like Floyd, Dijkstra, and Hoare argued that programs should be formally specified and proven correct. But for the past 40 years, most of the computer …
- Página:
106
- Sección:
Research highlights
- Publicación:
Communications of the ACM
- Volúmen:
52
- Número:
7
- Periodo:
Julio 2009
- ISSN:
00010782
- SrcID:
00010782-2009-07.txt
- Documento número 979697
- Actualizado el martes, 10 de julio de 2018 11:05:18 a. m.
- Creado el martes, 10 de julio de 2018 11:05:18 a. m.
- Enlace directo
- Artículo:
Formal Verification of a Realistic Compiler
- Autor:
Xavier Leroy
- Resumen:
This paper reports on the development and formal verification of CompCert, a compiler from Clight (a large subset of the C programming language) to PowerPC assembly code, using the Coq proof assistant both for programming the …
- Página:
107
- Sección:
Research highlights
- Publicación:
Communications of the ACM
- Volúmen:
52
- Número:
7
- Periodo:
Julio 2009
- ISSN:
00010782
- SrcID:
00010782-2009-07.txt
- Documento número 979698
- Actualizado el martes, 10 de julio de 2018 11:05:18 a. m.
- Creado el martes, 10 de julio de 2018 11:05:18 a. m.
- Enlace directo
- Artículo:
Q&A: Liskov on Liskov
- Autor:
Leah Hoffmann
- Resumen:
Barbara Liskov talks about her ground breaking work in data abstraction and distributed computing.
- Página:
120
- Sección:
Last byte
- Publicación:
Communications of the ACM
- Volúmen:
52
- Número:
7
- Periodo:
Julio 2009
- ISSN:
00010782
- SrcID:
00010782-2009-07.txt
- Documento número 979699
- Actualizado el martes, 10 de julio de 2018 11:05:18 a. m.
- Creado el martes, 10 de julio de 2018 11:05:18 a. m.
- Enlace directo
