352 search results - page 24 / 71 » The usage of stochastic processes in embedded system specifi... |
ESTIMEDIA
2008
Springer
13 years 10 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
RSP
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
LSO
2004
Springer
14 years 1 months ago
2004
Springer
Experience-based Information Systems (EbIS) enable organizations to capture, store and reuse knowledge and experiences for continuous competence development. However, there are sev...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
CMSB
2010
Springer
13 years 3 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...