15 search results - page 1 / 3 » Correct Compilation of Specifications to Deterministic Async... |
102
Voted
CHARME
1993
Springer
15 years 5 months ago
1993
Springer
108
click to vote
ENTCS
2010
15 years 1 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
118
click to vote
ICCAD
1999
IEEE
15 years 5 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 ...
110
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
110
click to vote
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...