4151 search results - page 169 / 831 » Language Driven System Design |
129
click to vote
ENTCS
2002
15 years 3 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
104
click to vote
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
150
click to vote
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Power-efficient design requires reducing power dissipation in all parts of the design and during all stages of the design process subject to constraints on the system performance ...
129
click to vote
ASPDAC
2000
ACM
15 years 7 months ago
2000
ACM
— In system-level design, the key to cope with the complexities involved with System-on-Chip (SOC) designs, is the reuse of Intellectual Property (IP). With the increasing demand...
112
click to vote
PLSA
1994
15 years 7 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...