1456 search results - page 94 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
131
click to vote
DATE
2006
IEEE
16 years 15 days ago
2006
IEEE
— Traffic shaping is a well-known technique in the area of networking and is proven to reduce global buffer requirements and end-to-end delays in networked systems. Due to these...
130
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...
151
click to vote
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
175
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
Continuous technology scaling has brought us to a point, where transistors have become extremely susceptible to cosmic radiation strikes, or soft errors. Inside the processor, cac...
185
click to vote
TECS
2008
15 years 6 months ago
2008
tion. Transaction Level Modeling (TLM) has been proposed to abstract communication for highspeed system simulation and rapid design space exploration. Although being widely accepte...