6581 search results - page 74 / 1317 » Formalizing Design Patterns |
130
click to vote
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
114
Voted
TOOLS
1997
IEEE
15 years 7 months ago
1997
IEEE
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...
132
Voted
APCCM
2006
15 years 4 months ago
2006
UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in captu...
143
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
115
Voted
DLT
2004
15 years 4 months ago
2004
We study the maximum function of any R+-rational formal series S in two commuting variables, which assigns to every integer n N, the maximum coefficient of the monomials of degree...