985 search results - page 146 / 197 » A Caching Model of Operating System Kernel Functionality |
138
click to vote
CIMCA
2008
IEEE
15 years 11 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...
163
click to vote
ICEIS
2002
IEEE
15 years 10 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...
179
click to vote
POPL
2012
ACM
14 years 20 days 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...
109
click to vote
DAGSTUHL
2010
15 years 6 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...
134
Voted
HPCC
2009
Springer
15 years 8 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...