3256 search results - page 190 / 652 » Applications of Formal Methods to System Design and Verifica... |
171
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
188
click to vote
RTS
2006
15 years 6 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
193
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
211
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
With the advent of fast growing Internet and World Wide Web (WWW), more and more companies start the electronic commerce to enhance the business competitiveness. On the other hand...
192
click to vote
DDECS
2007
IEEE
16 years 24 days ago
2007
IEEE
: As scan compression replaces the traditional scan it is important to understand how it works with power. DFT MAX represents one of the two primary scan compression solutions used...