Sciweavers

15792 search results - page 2909 / 3159
» Computational Abstraction Steps
Sort
View
192
Voted
CAV
2011
Springer
234views Hardware» more  CAV 2011»
14 years 9 months ago
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
Valeriy Balabanov, Jie-Hong R. Jiang
CN
2011
111views more  CN 2011»
14 years 9 months ago
On the design of network control and management plane
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...
Hammad Iqbal, Taieb Znati
DBSEC
2011
245views Database» more  DBSEC 2011»
14 years 9 months ago
Multilevel Secure Data Stream Processing
Abstract. With sensors and mobile devices becoming ubiquitous, situation monitoring applications are becoming a reality. Data Stream Management Systems (DSMSs) have been proposed t...
Raman Adaikkalavan, Indrakshi Ray, Xing Xie
FAST
2011
14 years 9 months ago
Exploiting Half-Wits: Smarter Storage for Low-Power Devices
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...
Mastooreh Salajegheh, Yue Wang, Kevin Fu, Anxiao J...
FIMH
2011
Springer
14 years 9 months ago
Monitoring Treatment Outcome: A Visualization Prototype for Left Ventricular Transformation
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...
Stefan Wesarg
« Prev « First page 2909 / 3159 Last » Next »