12333 search results - page 326 / 2467 » System Level Modelling for Hardware Software Systems |
169
Voted
HASE
1997
IEEE
15 years 11 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
213
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
While NAND flash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...
208
Voted
LCTRTS
1998
Springer
15 years 11 months ago
1998
Springer
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...
165
click to vote
ARC
2010
Springer
15 years 10 months ago
2010
Springer
High-Performance Reconfigurable Computers (HPRCs) are parallel machines consisting of FPGAs and microprocessors, with the FPGAs used as co-processors. The execution of parallel app...
187
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...