819 search results - page 50 / 164 » A Technique for Combined Virtual Prototyping and Hardware De... |
JUCS
2010
13 years 6 months ago
2010
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...
CLOUD
2010
ACM
14 years 1 months ago
2010
ACM
To address the limitations of centralized shared storage for cloud computing, we are building Lithium, a distributed storage system designed specifically for virtualization workl...
TPCD
1994
13 years 9 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
CA
1999
IEEE
14 years 12 days ago
1999
IEEE
This paper presents a simple and efficient method of modeling synthetic vision, memory, and learning for autonomous animated characters in real-time virtual environments. The mode...
EUROSYS
2011
ACM
12 years 11 months ago
2011
ACM
Buffer caches in operating systems keep active file blocks in memory to reduce disk accesses. Related studies have been focused on how to minimize buffer misses and the caused pe...