1304 search results - page 87 / 261 » RTOS Modeling for System Level Design |
123
Voted
EDO
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
175
Voted
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...
141
click to vote
CW
2003
IEEE
15 years 9 months ago
2003
IEEE
Virtual reality technology is reported that the use of virtual reality(VR) as an educational tool can increase student interests, understanding and creative learning because of en...
146
click to vote
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
129
click to vote
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...