691 search results - page 91 / 139 » Automatically Proving Linearizability |
ISPD
2009
ACM
14 years 4 months ago
2009
ACM
Several approaches to post-silicon adaptation require feedback from a replica of the nominal critical path, whose variations are intended to reflect those of the entire circuit a...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
ICCSA
2009
Springer
14 years 4 months ago
2009
Springer
Crop Assimilation Model (CAM) predicts the parameters of agrohydrological models with satellite images. CAM with double layers GA called CAM-DLGA, uses Soil-Water-Atmosphere-Plant ...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...