153 search results - page 23 / 31 » Independence and Concurrent Separation Logic |
168
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Many techniques for increasing the amount of instruction-level parallelism (ILP) put increased pressure on the registers inside a CPU. These techniques allow for more operations t...
148
click to vote
NETGAMES
2006
ACM
15 years 11 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...
173
click to vote
VR
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper focuses on the distributed architecture of the collaborative augmented reality system Studierstube. The system allows multiple users to experience a shared 3D workspace...
140
click to vote
ACS
2007
15 years 5 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
145
click to vote
ALIFE
2008
15 years 5 months ago
2008
, reproductive value, soft selectionAbstract Structural complexity characterizes our representations of dissipative structures. As a mechanistic concept, when referred to natural s...