2113 search results - page 31 / 423 » BASS Application Sharing System |
144
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
113
click to vote
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
The duration of time for which each application locks each shared resource is critically important in composing multiple independently-developed applications upon a shared “open...
142
click to vote
SRDS
1994
IEEE
15 years 6 months ago
1994
IEEE
Most recovery schemes that have been proposed for Distributed Shared Memory (DSM) systems require unnecessarily high checkpointing frequency and checkpoint traffic, which are sens...
103
click to vote
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
The shared data space model has proven to be an effective paradigm for building distributed applications. However, building an efficient distributed implementation remains a chall...
136
click to vote
FROCOS
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...