4340 search results - page 827 / 868 » Formal Methods and Cryptography |
150
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
131
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
154
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
156
click to vote
ICCAD
2007
IEEE
16 years 28 days ago
2007
IEEE
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
144
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Detecting clusters or communities in large real-world graphs such as large social or information networks is a problem of considerable interest. In practice, one typically chooses...