959 search results - page 46 / 192 » On the implementation of automatic differentiation tools |
ACL2
2006
ACM
13 years 11 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
VL
2010
IEEE
13 years 6 months ago
2010
IEEE
Visual programming languages can be used to make computer science more accessible to a broad range of students. The evaluative focus of current research in the area of visual lang...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
We present a technique for automatic placement of authorization hooks, and apply it to the Linux security modules (LSM) framework. LSM is a generic framework which allows diverse ...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....