15792 search results - page 2909 / 3159 » Computational Abstraction Steps |
192
Voted
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
156
click to vote
CN
2011
14 years 9 months ago
2011
We provide a design of a control and management plane for data networks using the abstraction of 4D architecture, utilizing and extending 4D’s concept of a logically centralized...
245
click to vote
DBSEC
2011
14 years 9 months ago
2011
Abstract. With sensors and mobile devices becoming ubiquitous, situation monitoring applications are becoming a reality. Data Stream Management Systems (DSMSs) have been proposed t...
186
click to vote
FAST
2011
14 years 9 months ago
2011
This work analyzes the stochastic behavior of writing to embedded flash memory at voltages lower than recommended by a microcontroller’s specifications to reduce energy consum...
182
click to vote
FIMH
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. The analysis of cardiac dynamics – especially of the left ventricle – is a means for evaluating the healthiness of the heart. In case that a malfunction has been dete...