1755 search results - page 128 / 351 » An efficient simulation algorithm based on abstract interpre... |
130
click to vote
JNW
2006
15 years 3 months ago
2006
The design of large dependable multiprocessor systems requires quick and precise mechanisms for detecting the faulty nodes. The problem of system-level fault diagnosis is computati...
124
click to vote
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present Shekoosh, a novel framework for constraint-based generation of structurally complex inputs of large sizes. Given a Java predicate that represents the desired s...
155
click to vote
DILS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Life science data sources represent a complex link-driven federation of publicly available Web accessible sources. A fundamental need for scientists today is the ability ...
120
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
137
click to vote
TMI
2008
15 years 3 months ago
2008
Abstract-- We present a new method for automatic segmentation of heterogeneous image data that takes a step toward bridging the gap between bottom-up affinity-based segmentation me...