6167 search results - page 89 / 1234 » Can Refinement be Automated |
149
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
When searching for functional bugs in silicon, debug data is acquired after a trigger event occurs. A trigger event can be configured at run-time using a set of control registers...
128
click to vote
DELTA
2008
IEEE
15 years 10 months ago
2008
IEEE
—Most innovations in the automotive domain are nowadays enabled by networked embedded systems. In this context a new communication subsystem termed FlexRay was recently introduce...
118
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
146
click to vote
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
119
click to vote
COSIT
2005
Springer
15 years 9 months ago
2005
Springer
How can the usability of distributed and heterogeneous geographic data sets be enhanced? Semantic interoperability is a prerequisite for effectively finding and accessing relevant ...