Sciweavers

425 search results - page 12 / 85
» Automated Synthesis of Multitolerance
Sort
View
115
Voted
CADE
2002
Springer
16 years 3 months ago
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description
Bernd Fischer 0002, Johann Schumann, Michael W. Wh...
123
Voted
ICCAD
2005
IEEE
98views Hardware» more  ICCAD 2005»
15 years 9 months ago
An architecture and a wrapper synthesis approach for multi-clock latency-insensitive systems
— This paper presents an architecture and a wrapper synthesis approach for the design of multi-clock systems-on-chips. We build upon the initial work on multi-clock latency-insen...
Ankur Agiwal, Montek Singh
128
Voted
LPAR
2010
Springer
15 years 1 months ago
Synthesis of Trigger Properties
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
Orna Kupferman, Moshe Y. Vardi