Catálogo de revistas impresas de la biblioteca

Se encontraron 68 resultados.

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

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

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

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

Revistas en papel