1116 search results - page 108 / 224 » Applying Predicate Abstraction to Abstract State Machines |
ICAI
2004
15 years 22 days ago
2004
Abstract-- We present a new application of the Image Analogies algorithm to be used for image segmentation. Our approach requires supervised training data, so we apply it to the do...
IPSN
2005
Springer
15 years 4 months ago
2005
Springer
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
WDAG
2005
Springer
15 years 4 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
RAID
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...
102
click to vote
DC
2008
14 years 11 months ago
2008
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...