12453 search results - page 69 / 2491 » Concurrent Data Structures |
114
click to vote
JCS
2007
15 years 1 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
103
click to vote
ICASSP
2010
IEEE
14 years 11 months ago
2010
IEEE
Mining actor correlations from TV series enables semanticlevel video understanding and facilitates users to conduct correlation-based query. In this paper, we introduce a graphbas...
135
click to vote
PERCOM
2006
ACM
15 years 7 months ago
2006
ACM
One way to improve the throughput of a wireless ad hoc network at the media access (MAC) layer is to allow concurrent transmission among neighboring nodes as much as possible. In ...
109
click to vote
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...
119
click to vote
AAAI
2004
15 years 3 months ago
2004
This paper addresses the probabilistic inference of geometric structures from images. Specifically, of synthesizing range data to enhance the reconstruction of a 3D model of an in...