1833 search results - page 33 / 367 » Mechanized Verification with Sharing |
98
Voted
COCOON
2005
Springer
15 years 6 months ago
2005
Springer
Multicast routing uses a structure, either a tree or a mesh, to connect the receivers to the source, thus saving the bandwidth. How to share the cost among the receivers in a certa...
90
Voted
IPM
2008
15 years 20 days ago
2008
Awareness has been extensively studied in human computer interaction (HCI) and computer supported cooperative work (CSCW). The success of many collaborative systems hinges on effe...
130
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
We study three scheduling problems (file redistribution, independent tasks scheduling and broadcasting) on large scale heterogeneous platforms under the Bounded Multi-port Model. I...
108
click to vote
CF
2009
ACM
15 years 7 months ago
2009
ACM
Chip Multiprocessor (CMP) memory systems suffer from the effects of destructive thread interference. This interference reduces performance predictability because it depends heavil...
115
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...