1022 search results - page 68 / 205 » The Modelling of Embedded Systems Using HASoC |
111
Voted
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
Embedded DRAM (eDRAM) power-energy estimation is presented for system-on-a-chip (SOC) applications. The main feature is the signal swing based analytic (SSBA) model, which improve...
105
click to vote
ICECCS
2002
IEEE
15 years 7 months ago
2002
IEEE
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In t...
133
Voted
RSP
2006
IEEE
15 years 8 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...
136
click to vote
ISOLA
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
127
Voted
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...