1833 search results - page 154 / 367 » Mechanized Verification with Sharing |
248
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--Since Grid computing systems involve large-scale resource sharing, resource management is central to their operations. Whereas there are more Grid resource management sys...
167
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
178
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
184
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
184
click to vote
USENIX
2008
15 years 8 months ago
2008
Despite a low occurrence rate, silent data corruption represents a growing concern for storage systems designers. Throughout the storage hierarchy, from the file system down to th...