129 search results - page 11 / 26 » 06172 Abstracts Collection -- Directed Model Checking |
155
click to vote
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
153
click to vote
CIDM
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—In this work, we present an interactive visual clustering approach for the exploration and analysis of vast volumes of data. The proposed approach is based on a bio-insp...
183
click to vote
WADS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
146
click to vote
CORR
2011
Springer
14 years 12 months ago
2011
Springer
Abstract. Performing effective preference-based data retrieval requires detailed and preferentially meaningful structurized information about the current user as well as the items ...
141
click to vote
ALGORITHMICA
2002
15 years 4 months ago
2002
Abstract. We consider the tasks of testing and spot-checking for data streams. These testers and spotcheckers are potentially useful in real-time or near real-time applications tha...