1833 search results - page 41 / 367 » Mechanized Verification with Sharing |
ISCA
2011
IEEE
13 years 2 months ago
2011
IEEE
Chip multiprocessors (CMPs) share a large portion of the memory subsystem among multiple cores. Recent proposals have addressed high-performance and fair management of these share...
ISPAN
2008
IEEE
14 years 5 months ago
2008
IEEE
Massively Multiuser Online Game, i.e. MMOG, is an active research especially to integrate players to perform routing task with the intention of keeping the game deployment cost to...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— In this paper we study the problem of stabilizing a networked control system (NCS) composed of N linear dynamical subplants and an equal number of controllers acting over a sha...
CATA
2004
14 years 11 days ago
2004
This paper describes the instruction execution mechanism of Responsive Multithreaded (RMT) Processor for distributed real-time processing. The execution order of each thread is co...
TC
1998
13 years 10 months ago
1998
—We evaluate three extensions to directory-based cache coherence protocols in shared-memory multiprocessors. These extensions are aimed at reducing the penalties associated with ...