1194 search results - page 149 / 239 » Virtualization of Hardware - Introduction and Survey |
141
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
148
click to vote
ASYNC
2005
IEEE
15 years 7 months ago
2005
IEEE
Guaranteed services (GS) are important in that they provide predictability in the complex dynamics of shared communication structures. This paper discusses the implementation of G...
127
click to vote
CG
2006
Springer
15 years 5 months ago
2006
Springer
Off-line rendering techniques have nowadays reached an astonishing level of realism but pay the cost of long computational times. The new generation of programmable graphic hardwa...
165
click to vote
SIGMETRICS
2008
ACM
15 years 5 months ago
2008
ACM
Network emulation, in which real systems interact with a network simulation, is a common evaluation method in computer networking research. Until now, the simulation in charge of ...
159
Voted
CAI
2004
Springer
15 years 5 months ago
2004
Springer
A complete hardware implementation of an evolvable combinational unit for FPGAs is presented. The proposed combinational unit consisting of a virtual reconfigurable circuit and evo...