12333 search results - page 269 / 2467 » System Level Modelling for Hardware Software Systems |
146
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware software co-design capable of handling multiprocessor systems and distributed archit...
146
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
161
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
Fault prediction models still seem to be more popular in academia than in industry. In industry expert estimations of fault proneness are the most popular methods of deciding wher...
186
click to vote
MBEES
2010
15 years 8 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
299
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
Although our society is critically dependent on software systems, these systems are mainly secured by protection mechanisms during operation instead of considering security issues...