6581 search results - page 382 / 1317 » Formalizing Design Patterns |
139
Voted
CODES
1996
IEEE
15 years 9 months ago
1996
IEEE
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
122
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
140
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
143
click to vote
WSC
2004
15 years 6 months ago
2004
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...
140
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...