1194 search results - page 146 / 239 » Virtualization of Hardware - Introduction and Survey |
171
click to vote
ECBS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
141
click to vote
GRAPHITE
2006
ACM
15 years 11 months ago
2006
ACM
Animated crowds are effective to increase realism in virtual reality applications. However, rendering crowds require large computational power. In this paper, we present a techniq...
210
click to vote
FPT
2005
IEEE
15 years 11 months ago
2005
IEEE
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...
150
click to vote
IWMM
2004
Springer
15 years 10 months ago
2004
Springer
We propose a general scheme for creating adaptive replacement policies with good performance and strong theoretical guarantees. Specifically, we show how to combine any two exist...
146
click to vote
ECBS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...