985 search results - page 146 / 197 » A Caching Model of Operating System Kernel Functionality |
115
Voted
CIMCA
2008
IEEE
15 years 9 months ago
2008
IEEE
Complex and long-lived software need to be upgraded at runtime. Replacing a software component with a newer version is the basic evolution operation that has to be supported. It i...
136
Voted
ICEIS
2002
IEEE
15 years 7 months ago
2002
IEEE
: This work describes the features of the DOMINO (Database fOr MovINg Objects) system, which brings several novelties to the problem of managing moving objects databases. Our robus...
154
Voted
POPL
2012
ACM
13 years 10 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...
87
Voted
DAGSTUHL
2010
15 years 4 months ago
2010
Shoulder joint replacement, or arthroplasty, is indicated in cases where arthritis or trauma has resulted in severe joint damage that in turn causes increased pain and decreased f...
114
click to vote
HPCC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...