241 search results - page 33 / 49 » Geometry of synthesis: a structured approach to VLSI design |
151
click to vote
LCTRTS
2010
Springer
16 years 27 days ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
165
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
Dynamic translinear (DTL) circuits use the exponential inputoutput relation of the transistor as a primitive for the synthesis of electronic circuits. As a consequence the analysi...
218
click to vote
SCESM
2006
ACM
16 years 1 days ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
322
Voted
Publication
he significant increase in the available computational power that took place in recent decades has been accompanied by a growing interest in the application of the evolutionary ap...
140
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Numerical simulations can be the key to the thorough understanding of the multi-dimensional nature of transient detonation waves. But the accurate approximation of realis...