728 search results - page 120 / 146 » ideas 2009 |
WWW
2009
ACM
16 years 14 days ago
2009
ACM
Online social networking sites like MySpace, Facebook, and Flickr have become a popular way to share and disseminate content. Their massive popularity has led to viral marketing t...
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...
182
click to vote
ICFP
2009
ACM
16 years 13 days ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
194
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
199
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...