364 search results - page 40 / 73 » On Tools for Modeling High-Performance Embedded Systems |
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
HCSE
2010
14 years 7 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
125
click to vote
VLSID
1999
IEEE
15 years 2 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
63
Voted
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...