72 search results - page 4 / 15 » Equivalent design representations and transformations for in... |
WSC
2004
13 years 7 months ago
2004
We describe a characterization the three classical world views of event scheduling, activity scanning, and process interaction and discuss transformations among them. We believe t...
EUROMICRO
1996
IEEE
13 years 10 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
TIP
2010
13 years 29 days ago
2010
Software realizations of computationally-demanding image processing tasks (e.g. image transforms and convolution) do not currently provide graceful degradation when their clock-cy...
DAC
2001
ACM
14 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...
FMCAD
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...