346 search results - page 36 / 70 » Approximating Behaviors in Embedded System Design |
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
120
Voted
ANSOFT
2002
14 years 9 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
HIPEAC
2009
Springer
15 years 4 months ago
2009
Springer
Power consumption has emerged as a key design concern across the entire computing range, from low-end embedded systems to high-end supercomputers. Understanding the power character...
FPL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Visual data
ow environments are ideally suited for modeling digital signal processing (DSP) systems, as many DSP algorithms are most naturally speci ed by signal
ow gra...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...