Catálogo de revistas impresas de la biblioteca

Se encontraron 78 resultados.

Artículo:: Injecting Errors for Fun and Profit
Autor:: Steve Chessin
Resumen:: Error-detection and correction features are only as good as our ability to test them.
Página:: 48
Publicación:: Communications of the ACM
Volúmen:: 53
Número:: 9
Periodo:: Septiembre 2010
ISSN:: 00010782
SrcID:: 00010782-2010-09.txt

Artículo:: Thinking Clearly About Performance, Part 1
Autor:: Cary Millsap
Resumen:: Improving the performance of complex software is difficult, but understanding some fundamental principles can make it easier.
Página:: 55
Publicación:: Communications of the ACM
Volúmen:: 53
Número:: 9
Periodo:: Septiembre 2010
ISSN:: 00010782
SrcID:: 00010782-2010-09.txt

Artículo:: Confronting the Myth of Rapid Obsolescence in Computing Research
Autor:: Dag I. K. Sjøberg
Resumen:: Computing research ages more slowly than research in other scientific disciplines, supporting the call for parity in funding.
Página:: 62
Publicación:: Communications of the ACM
Volúmen:: 53
Número:: 9
Periodo:: Septiembre 2010
ISSN:: 00010782
SrcID:: 00010782-2010-09.txt

Artículo:: The same component isolation that made it effective for large distributed telecom systems makes it effective for multicore CPUs and networked applications.
Autor:: Joe Armstrong
Página:: 68
Publicación:: Communications of the ACM
Volúmen:: 53
Número:: 9
Periodo:: Septiembre 2010
ISSN:: 00010782
SrcID:: 00010782-2010-09.txt

Artículo:

Performance Evaluation and Model Checking Join Forces

Autor:

Christel Baier

Boudewijn R. Haverkort

Holger Hermanns

Joost-Pieter Katoen

Resumen:

A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.

Página:

Publicación:

Communications of the ACM

Volúmen:

Número:

Periodo:

Septiembre 2010

ISSN:

00010782

SrcID:

00010782-2010-09.txt

Revistas en papel