959 search results - page 61 / 192 » On the implementation of automatic differentiation tools |
158
Voted
FMOODS
2008
15 years 5 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
143
Voted
WCET
2007
15 years 4 months ago
2007
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...
126
Voted
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Web applications rely heavily on client-side computation to examine and validate form inputs that are supplied by a user (e.g., “credit card expiration date must be valid”). T...
120
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Being the most broadly used tool for deceit measurement, the polygraph is a limited method as it suffers from human operator subjectivity and the fact that target subjects are awa...
109
Voted
ACSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Kernel-level rootkits affect system security by modifying key kernel data structures to achieve a variety of malicious goals. While early rootkits modified control data structur...