2500 search results - page 456 / 500 » Specifying Behavior in C |
182
click to vote
ICFP
2009
ACM
16 years 13 days ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
196
click to vote
ASPLOS
2009
ACM
16 years 13 days ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
MOBIHOC
2009
ACM
16 years 10 days ago
2009
ACM
Routing is one of the most challenging open problems in disruption-tolerant networks (DTNs) because of the shortlived wireless connectivity environment. To deal with this issue, r...
103
click to vote
KDD
2007
ACM
16 years 6 days ago
2007
ACM
XML has become a popular method of data representation both on the web and in databases in recent years. One of the reasons for the popularity of XML has been its ability to encod...
KDD
2006
ACM
16 years 6 days ago
2006
ACM
Outlier detection can uncover malicious behavior in fields like intrusion detection and fraud analysis. Although there has been a significant amount of work in outlier detection, ...