1163 search results - page 33 / 233 » Case Studies of Model Checking for Embedded System Designs |
103
click to vote
VTS
2007
IEEE
15 years 8 months ago
2007
IEEE
Soft errors due to cosmic particles are a growing reliability threat for VLSI systems. In this paper we analyze the soft error vulnerability of FPGAs used in storage systems. Sinc...
130
click to vote
JUCS
2008
15 years 1 months ago
2008
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...
139
click to vote
JCDL
2009
ACM
15 years 8 months ago
2009
ACM
This article describes the process and challenges of developing a content model that can support the content and metadata present in a complex media archive. Media archives have s...
115
click to vote
MODELLIERUNG
2004
15 years 3 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
106
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
Modern embedded compute platforms increasingly contain both microprocessors and field-programmable gate arrays (FPGAs). The FPGAs may implement accelerators or other circuits to s...