Sciweavers

1578 search results - page 42 / 316
» Self-healing systems - survey and synthesis
Sort
View
ACSD
2001
IEEE
121views Hardware» more  ACSD 2001»
15 years 1 months ago
A structural encoding technique for the synthesis of asynchronous circuits
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
Josep Carmona, Jordi Cortadella, Enric Pastor
CODES
2008
IEEE
15 years 4 months ago
Symbolic voter placement for dependability-aware system synthesis
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
Felix Reimann, Michael Glabeta, Martin Lukasiewycz...
ACL
2011
14 years 1 months ago
They Can Help: Using Crowdsourcing to Improve the Evaluation of Grammatical Error Detection Systems
Despite the rising interest in developing grammatical error detection systems for non-native speakers of English, progress in the field has been hampered by a lack of informative...
Nitin Madnani, Martin Chodorow, Joel R. Tetreault,...
RTSS
2002
IEEE
15 years 2 months ago
A Fast Resource Synthesis Technique for Energy-Efficient Real-Time System
We consider a resource synthesis technique for realtime systems where the energy budget is limited and the performance of the system depends on how resources and energy are used. ...
Dong-In Kang, Stephen P. Crago, Jinwoo Suh
FCCM
2011
IEEE
220views VLSI» more  FCCM 2011»
14 years 1 months ago
Reducing the Energy Cost of Irregular Code Bases in Soft Processor Systems
— This paper describes an architecture and FPGA synthesis toolchain for building specialized, energy-saving coprocessors called Irregular Code Energy Reducers (ICERs) for a wide ...
Manish Arora, Jack Sampson, Nathan Goulding-Hotta,...