2947 search results - page 60 / 590 » Analyzing Program Analyses |
117
Voted
DISCEX
2003
IEEE
15 years 7 months ago
2003
IEEE
Under sponsorship of the Defense Advanced Research Projects Agency’s (DARPA) Fault Tolerant Networks (FTN) program, The Johns Hopkins University Applied Physics Laboratory (JHU/...
117
click to vote
CMSB
2008
Springer
15 years 4 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
133
Voted
INFSOF
2002
15 years 2 months ago
2002
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
112
click to vote
PSD
2010
Springer
15 years 25 days ago
2010
Springer
Minimum-distance controlled tabular adjustment methods (CTA), and its restricted variants (RCTA), is a recent perturbative approach for tabular data protection. Given a table to be...
126
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...