3005 search results - page 584 / 601 » Logical Information Systems: from Taxonomies to Logics |
140
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
132
click to vote
ICIP
1998
IEEE
16 years 3 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
106
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Graduates of computer science degree programs are increasingly being asked to maintain large, multi-threaded software systems; however, the maintenance of such systems is typicall...
212
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
SIGMOD
2003
ACM
16 years 1 months ago
2003
ACM
Webcams, microphones, pressure gauges and other sensors provide exciting new opportunities for querying and monitoring the physical world. In this paper we focus on querying wide ...