1097 search results - page 64 / 220 » Sequential Object Monitors |
128
click to vote
TAP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
110
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
Kernel classifiers based on Support Vector Machines (SVM) have recently achieved state-of-the art results on several popular datasets like Caltech or Pascal. This was possible by...
130
Voted
DASFAA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. As mobile devices proliferate and networks become more locationaware, the corresponding growth in spatio-temporal data will demand analysis techniques to mine patterns th...
122
Voted
PODC
2006
ACM
15 years 8 months ago
2006
ACM
We study a novel separator property called k-path separable. Roughly speaking, a k-path separable graph can be recursively separated into smaller components by sequentially removi...
140
click to vote
ECOOPWEXCEPTION
2000
Springer
2000
Springer
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
15 years 6 months ago
The chief aim of this survey is to discuss exception handling models which have been developed for concurrent object systems. In conducting this discussion we rely on the following...