- importsource = "00010782-2011-12.txt"
- 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 980259
- 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:
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 980260
- 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:
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 980261
- 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:
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 980262
- 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:
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
- Autor:
Jean Yang
Chris Hawblitzel
- Resumen:
High-level computer applications build on services provided by lower-level software layers. Unfortunately, today's low-level software still suffers from a steady stream of bugs, often leaving computers vulnerable to attack …
- Página:
123
- 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 980263
- 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
