1617 search results - page 11 / 324 » Modeling and evaluation of hardware software designs |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
CODES
2002
IEEE
14 years 9 days ago
2002
IEEE
DATE
2005
IEEE
14 years 29 days ago
2005
IEEE
Embedded software design for real time reactive system
ISSS
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper presents a codesign approach which incorporates communication protocol selection as a design parameter within hardware/software partitioning. The presented approach tak...
CODES
1996
IEEE
13 years 11 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...