198 search results - page 14 / 40 » Modal Proofs as Distributed Programs (Extended Abstract) |
CONCUR
1997
Springer
14 years 22 days ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
CLUSTER
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...
NOMS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Network monitoring and measurement is commonly regarded as an essential function for understanding, managing and improving the performance and security of network infra...
ESOP
2006
Springer
14 years 7 days ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...