959 search results - page 111 / 192 » On the implementation of automatic differentiation tools |
234
click to vote
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
110
click to vote
MHCI
2009
Springer
15 years 10 months ago
2009
Springer
The small form-factor of mobile handsets and the longer, variable latency of cellular networks negatively affect user experience in mobile web related activities. In this paper we...
155
click to vote
LSMS
2007
Springer
15 years 10 months ago
2007
Springer
Among HIV, immune cell and drug, exhibit interactions that are usually not well understood and as a result, cannot be accurately modeled. In this paper, Modeling by AOC is to under...
140
click to vote
ICW
2005
IEEE
15 years 9 months ago
2005
IEEE
Realistic simulation scenarios are critical to correctly assess the performance of mobile ad hoc networks. This paper presents a tool to generate realistic mobility traces for MAN...
111
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
Given some test case, a program fails. Which part of the test case is responsible for the particular failure? We show how our delta debugging algorithm generalizes and simplifies...