Sciweavers

5128 search results - page 117 / 1026
» When Abstraction Fails
Sort
View
KBSE
2008
IEEE
15 years 11 months ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim
AIPS
1998
15 years 6 months ago
Search Control of Plan Generation in Decision-Theoretic Planners
This paper addresses the search control problemof selecting whichplan to refine next for decision-theoretic planners, a choice point commonto the decision theoretic planners creat...
Richard Goodwin, Reid G. Simmons
DAIS
2009
15 years 5 months ago
WiSeKit: A Distributed Middleware to Support Application-Level Adaptation in Sensor Networks
Abstract. Applications for Wireless Sensor Networks (WSNs) are being spread to areas in which the contextual parameters modeling the environment are changing over the application l...
Amirhosein Taherkordi, Quan Le Trung, Romain Rouvo...
GRID
2006
Springer
15 years 4 months ago
Operating System Support for Space Allocation in Grid Storage Systems
Abstract-- Shared temporary storage space is often the constraining resource for clusters that serve as execution nodes in wide-area distributed systems. At least one large nationa...
Douglas Thain
POPL
2010
ACM
15 years 11 months ago
Abstraction-guided synthesis of synchronization
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
Martin T. Vechev, Eran Yahav, Greta Yorsh