217 search results - page 20 / 44 » POSIX modeling in SystemC |
98
Voted
DSD
2009
IEEE
14 years 10 months ago
2009
IEEE
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...
84
Voted
FDL
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
77
Voted
FDL
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— A modeling methodology for mixed physical domains system in a new modelling Language is presented. The system is automotive seating vibration isolation system with elec...
114
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
106
click to vote
MOBICOM
2006
ACM
15 years 6 months ago
2006
ACM
In this work, multi-hop cooperative schemes for underwater sensor networks are studied and shown to be highly energy efficient. Also, the signal model for a multipath channel is d...