5600 search results - page 34 / 1120 » Synthesizing robust systems |
194
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
171
Voted
SYNTHESE
2008
15 years 7 months ago
2008
Abstract. Consciousness supervenes on activity; computation supervenes on structure. Because of this, some argue, conscious states cannot supervene on computational ones. If true, ...
143
Voted
SYNTHESE
2010
15 years 5 months ago
2010
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...
160
Voted
SYNTHESE
2010
15 years 5 months ago
2010
This paper is aimed at understanding one central aspect of Bolzano’s views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue t...
161
Voted
RTSS
2002
IEEE
16 years 10 days ago
2002
IEEE
abstractions + algorithms For Robustness to Timing Faults A new optimality criterion + algorithms