搜索结果: 1-4 共查到“计算机科学技术 satisfiability”相关记录4条 . 查询时间(0.062 秒)
Scalable Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
We describe a software error-detection tool that exploits recent advances in boolean satisfiability (SAT) solvers. Our analysis is path sensitive, precise down to the bit level, and models pointers an...
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...
On Co-Optimization Of Constrained Satisfiability Problems For Hardware Software Applications
Applied sciences Constrained satisfiability Hardware Software Co-optimization Transistors
2011/9/7
Manufacturing technology has permitted an exponential growth in transistor count and density. However, making efficient use of the available transistors in the design has become exceedingly difficult....
Journal on Satisfiability, Boolean Modeling and Computation（JSAT）
Journal on Satisfiability Boolean Modeling and Computation JSAT 计算机
2008/1/15
JSAT is a peer reviewed Journal, publishing high quality original research papers and survey papers which evidently contribute to deeper insight. It is an electronic medium, guaranteeing fast publicat...