ELIMINATING CONCURRENCY BUGS WITH CONTROL ENGINEERING.

The article discusses the elimination of concurrency bugs through controlled computer engineering. Concurrency problems are linked with parallel programming and they found that the challenges can be solved through control engineering based on classical control theory. The Gadara software used is des...

Descripción completa

Detalles Bibliográficos

Publicado en:	Computer (00189162) Vol. 42; no. 12; pp. 52 - 61
Autores principales:	Kelly, Terence, Yin Wang, Lafortune, Stéphane, Mahlke, Scott
Formato:	Artículo
Publicado:	IEEE Dec2009
Materias:	Automatic control systems Computer engineering Parallel programming Control theory (Engineering) Computers
Acceso en línea:	Ver este registro en EBSCOhost