51692 search results - page 10245 / 10339 » is 2008 |
105
click to vote
HASKELL
2008
ACM
15 years 29 days ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...
105
click to vote
HASKELL
2008
ACM
15 years 29 days ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
119
click to vote
APLAS
2010
ACM
15 years 3 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
116
click to vote
ISLPED
2010
ACM
15 years 3 days ago
2010
ACM
This paper proposes a framework for (signal) interconnect power optimization at the global routing stage. In a typical design flow, the primary objective of global routing is mini...
ATAL
2010
Springer
15 years 3 days ago
2010
Springer
Despite the recent advances in planning with MDPs, the problem of generating good policies is still hard. This paper describes a way to generate policies in MDPs by (1) determiniz...