4074 search results - page 133 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
121
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
134
Voted
SIGMETRICS
2011
ACM
14 years 5 months ago
2011
ACM
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...
144
Voted
ISVC
2009
Springer
15 years 7 months ago
2009
Springer
Foregrounds extracted from the background, which are intended to be used as photorealistic avatars for simulators in a variety of virtual worlds, should satisfy the following four ...
141
Voted
AINA
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper presents an auction system based on mobile agents. By using a proxy server, a user can generate a mobile auction agent by giving the bidding information, including the ...
96
Voted
ASPDAC
2001
ACM
15 years 6 months ago
2001
ACM
Abstract-- We propose a method of correlating circuit performance with technology fluctuations during the circuit-design phase. The method employs test circuits sensitive for techn...