2853 search results - page 444 / 571 » A Design System based on Architectural Representations |
197
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
172
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Parallel processors such as SIMD computers have been successfully used in various areas of high performance image and data processing. Due to their characteristics of highly regula...
162
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
182
click to vote
RECONFIG
2008
IEEE
16 years 26 days ago
2008
IEEE
1 We present a fast, efficient, and parameterized modular multiplier and a secure exponentiation circuit especially intended for FPGAs on the low end of the price range. The desig...
186
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...