12333 search results - page 208 / 2467 » System Level Modelling for Hardware Software Systems |
167
click to vote
BIBE
2008
IEEE
16 years 29 days ago
2008
IEEE
— Recent studies in the field of molecular imaging have demonstrated the need for PET probes capable of imaging very weak activity distributions. Over this range of applications ...
191
click to vote
ICONS
2009
IEEE
16 years 1 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
173
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
155
click to vote
ARCS
2005
Springer
16 years 16 hour ago
2005
Springer
The power consumption of peripheral devices is a significant portion of the overall energy usage of a mobile platform. To take advantage of idle times, most devices offer the abi...
152
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...