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...
| Published in: | Computer (00189162) Vol. 42; no. 12; pp. 52 - 61 |
|---|---|
| Main Authors: | , , , |
| Format: | Article |
| Published: |
IEEE
Dec2009
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=47400248&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 47400248 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Dec2009 vid: 42 iid: 12 pid: 13605 pub: IEEE artinfo: ui: 47400248 10.1109/MC.2009.391 ppf: 52 ppct: 9 formats: tig: atl: ELIMINATING CONCURRENCY BUGS WITH CONTROL ENGINEERING. aug: au: Kelly, Terence Yin Wang Lafortune, Stéphane Mahlke, Scott affil: Hewlett-Packard Laboratories University of Michigan su: Automatic control systems Computer engineering Parallel programming Control theory (Engineering) Computers sug: subj: Automatic control systems Computer engineering Parallel programming Control theory (Engineering) Computers ab: 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 designed to enable multithreaded programs to avoid deadlocks. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2009 holdings: @attributes: islocal: N |
|---|