959 search results - page 37 / 192 » On the implementation of automatic differentiation tools |
110
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
120
Voted
METRICS
2005
IEEE
15 years 9 months ago
2005
IEEE
In order to facilitate the application of software measurement the gathering of software measures should be automated as far as possible by the integration of the software measure...
147
click to vote
FORTE
2004
15 years 4 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
146
Voted
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
131
Voted
EUROSYS
2008
ACM
16 years 18 days ago
2008
ACM
Despite the many solutions proposed by industry and the research community to address phishing attacks, this problem continues to cause enormous damage. Because of our inability t...