1784 search results - page 220 / 357 » Formal Models for Embedded System Design |
127
click to vote
POST
2012
13 years 5 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
RTCSA
2007
IEEE
15 years 4 months ago
2007
IEEE
— To use the tremendous hardware resources available in next generation MultiProcessor Systems-on-Chip (MPSoC) efficiently, rapid and accurate design space exploration (DSE) met...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...
RSP
2008
IEEE
15 years 4 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
APN
2005
Springer
15 years 3 months ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...