1833 search results - page 60 / 367 » Mechanized Verification with Sharing |
181
click to vote
VLDB
2007
ACM
16 years 27 days ago
2007
ACM
This paper focuses on the problem of improving distributed query throughput of the RDBMS-based data integration system that has to inherit the query execution model of the underly...
114
Voted
UCS
2007
Springer
15 years 6 months ago
2007
Springer
Emergence of social web services like YouTube[1], Flickr[2] etc. is constantly transforming the way we share our lifestyles with family, friends and colleagues. The significance of...
113
Voted
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
We have designed, implemented and evaluated a resource adaptive distributed information sharing system where automatic adjustments are made internally in our information sharing sy...
130
Voted
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
144
Voted
HPCA
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract—Sharing patterns in shared-memory multiprocessors are the key to performance: uniprocessor latencytolerating techniques such as out-of-order execution and non-blocking c...