3879 search results - page 98 / 776 » PyPBS design and methodologies |
127
click to vote
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
Architecture modeling is practiced extensively in the software industry but there is little attention paid to the traceability, verifiability and completeness of architecture desi...
124
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
The recent release of UML 2.0 has corrected a lot of design diffi
127
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
127
click to vote
DT
2000
15 years 4 months ago
2000
The design of complex embedded systems involves the simultaneous optimization of several often competing objectives. Instead of a single optimal design, there is rather a set of a...
165
click to vote
VLSID
2010
IEEE
15 years 8 months ago
2010
IEEE
Network-on-Chip combined with Globally Asynchronous Locally Synchronous paradigm is a promising architecture for easy IP integration and utilization with multiple voltage levels. ...