46 search results - page 5 / 10 » Guiding simulation with increasingly refined abstract traces |
TVLSI
2008
13 years 7 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
EVOW
2010
Springer
14 years 21 days ago
2010
Springer
Abstract. We analyze the convergence properties of our force based genetic algorithm(fga) as a decentralized topology control mechanism distributed among software agents. fga guide...
DIMVA
2010
13 years 9 months ago
2010
Abstract. Malware targeting mobile phones is being studied with increasing interest by the research community. While such attention has previously focused on viruses and worms, man...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
DSD
2007
IEEE
14 years 1 months ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...