137 search results - page 1 / 28 » Differential static analysis: opportunities, applications, a... |
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
ASWSD
2004
Springer
13 years 9 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
SIGMOD
2001
ACM
14 years 4 months ago
2001
ACM
Intrusion detection is an essential component of computer security mechanisms. It requires accurate and efficient analysis of a large amount of system and network audit data. It c...
LISP
2008
13 years 4 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
VLDB
2004
ACM
13 years 9 months ago
2004
ACM
This presentation will discuss several database technology challenges that are faced when building a data warehouse. It will touch on the challenges posed by high capacity drives ...