1567 search results - page 261 / 314 » A Mechanized Model of the Theory of Objects |
ICS
2011
Tsinghua U.
14 years 3 months ago
2011
Tsinghua U.
Efficient on-chip resource management is crucial for Chip Multiprocessors (CMP) to achieve high resource utilization and enforce system-level performance objectives. Existing mul...
104
click to vote
SAC
2003
ACM
15 years 5 months ago
2003
ACM
One of the most challenging objectives of mobile data management is the ubiquitous, any time, anywhere access. This objective is very difficult to meet due to several network and ...
VRML
2004
ACM
15 years 5 months ago
2004
ACM
In this paper we present a VRML97-X3D extension to describe precomputed visibility relationships in the context of progressive transmission as well as real time visualization of m...
129
click to vote
MMNS
2007
15 years 1 months ago
2007
Recent growth of the multimedia content delivery over the Internet and the popularity of the peer-to-peer (P2P) architecture have opened new horizons for emerging novel services ov...
181
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...