3119 search results - page 493 / 624 » General Default Logic |
166
click to vote
NETGAMES
2006
ACM
16 years 11 days 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...
153
click to vote
PPOPP
2006
ACM
16 years 11 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
150
click to vote
SAC
2006
ACM
16 years 11 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
147
click to vote
CSFW
2005
IEEE
16 years 1 days ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
143
click to vote
DATE
2005
IEEE
16 years 1 days ago
2005
IEEE
Soft errors are an increasingly serious problem for logic circuits. To estimate the effects of soft errors on such circuits, we develop a general computational framework based on ...