2145 search results - page 231 / 429 » Architectural Specifications in CASL |
147
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...
172
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Recently, processor power density has been increasing at an alarming rate resulting in high on-chip temperature. Higher temperature increases current leakage and causes poor relia...
136
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...
152
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
150
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
While the number of embedded systems in consumer electronics is growing dramatically, several trends can be observed which challenge traditional codesign practice: An increasing s...