1833 search results - page 29 / 367 » Mechanized Verification with Sharing |
BIRTHDAY
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
PLDI
2009
ACM
14 years 11 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
HPCA
2009
IEEE
14 years 11 months ago
2009
IEEE
In future multi-cores, large amounts of delay and power will be spent accessing data in large L2/L3 caches. It has been recently shown that OS-based page coloring allows a non-uni...
OODBS
1992
14 years 3 months ago
1992
An approach and mechanismto support the sharing of behavior amongthe component database systems in a federation is described. In the context of a functional object-based database ...
CAISE
2008
Springer
14 years 28 days ago
2008
Springer
The importance and benefits of expertise sharing for organizations in knowledge economy are well recognized. However, the potential cost of expertise sharing is less well understoo...