1784 search results - page 178 / 357 » Formal Models for Embedded System Design |
180
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
132
click to vote
FROCOS
2005
Springer
16 years 2 days ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
148
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Continuous transistor scaling due to improvements in CMOS devices and manufacturing technologies is increasing processor power densities and temperatures; thus, creating challenges...
183
click to vote
CSMR
2006
IEEE
16 years 18 days ago
2006
IEEE
Web applications design methodologies hold the promise of engineering high-quality and long-lived Web systems and rich Internet applications. However, many such methodologies focu...
150
click to vote
EUROMICRO
2007
IEEE
16 years 26 days ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...