2702 search results - page 334 / 541 » Practically Applicable Formal Methods |
132
click to vote
SIGMETRICS
2005
ACM
15 years 8 months ago
2005
ACM
Network service providers and customers are often concerned with aggregate performance measures that span multiple network paths. Unfortunately, forming such network-wide measures ...
139
click to vote
IPSN
2007
Springer
15 years 8 months ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...
135
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
160
click to vote
SIGGRAPH
2010
ACM
15 years 1 months ago
2010
ACM
This paper addresses the problem of remapping the disparity range of stereoscopic images and video. Such operations are highly important for a variety of issues arising from the p...
117
click to vote
SPIN
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...