Sciweavers

3824 search results - page 10 / 765
» Geometry Constructions Language
Sort
View
60
Voted
LLC
2010
14 years 4 months ago
Construction Morphology
Geert Booij
ENTCS
2010
113views more  ENTCS 2010»
14 years 9 months ago
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
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...
Dan R. Ghica, Alex Smith