1498 search results - page 287 / 300 » Contents Oriented Space |
184
click to vote
TPHOL
2009
IEEE
16 years 18 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
168
click to vote
IWMM
2009
Springer
16 years 15 days ago
2009
Springer
Tracing algorithms visit reachable nodes in a graph and are central to activities such as garbage collection, marshalling etc. Traditional sequential algorithms use a worklist, re...
204
click to vote
IMC
2009
ACM
16 years 14 days ago
2009
ACM
Understanding how users behave when they connect to social networking sites creates opportunities for better interface design, richer studies of social interactions, and improved ...
195
click to vote
TRIDENTCOM
2008
IEEE
16 years 10 days ago
2008
IEEE
IETF Network Mobility (NEMO) Basic Support Protocol is an IP mobility management protocol designed to provide seamless IP mobility to complete networks. This protocol is of crucia...
161
click to vote
ISCA
2007
IEEE
16 years 8 days ago
2007
IEEE
There has been considerable recent interest in the support of transactional memory (TM) in both hardware and software. We present an intermediate approach, in which hardware is us...