You are in : Home » Results & submissions » Select UOA » 13 - Electrical and Electronic Engineering, Metallurgy and Materials » View submission: Newcastle University » Outputs » Detail

Output details

13 - Electrical and Electronic Engineering, Metallurgy and Materials

Newcastle University

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

Conditional Partial Order Graphs: Model, Synthesis, and Application

Type

D - Journal article

DOI

10.1109/TC.2010.58

Title of journal

IEEE Transactions on Computers

Article number

Volume number

Issue number

First page of article

1480

ISSN of journal

1557-9956

Year of publication

2010

URL

http://dx.doi.org/10.1109/TC.2010.58

Number of additional authors

Additional information

The design of complex computational systems requires enumerating an exponential number of scenarios. The award-winning technique (Best Paper at ACSD'2010) presented in this paper shrinks this down to a polynomial scale, and was demonstrated in a fabricated microprocessor chip. This work is a key deliverable of EPSRC projects EP/C512812 and EP/E044662 (£0.7M combined) and is now being used worldwide as part of an open-source software framework (http://workcraft.org/scenco/). Commercialisation of a chip design is under way through an EPSRC Impact Acceleration award (PI:Mokhov) with financial/scientific computation company Maxeler Technologies (Craig Davies, +442087626196). Mokhov presented this work at UC Berkeley, Imagination Technologies.

Interdisciplinary

Cross-referral requested

Research group

C - Microsystems

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract