10055 search results - page 7 / 2011 » Structured programming using processes |
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
We give an optimal dynamic programming algorithm to solve a class of finite-horizon decentralized Markov decision processes (MDPs). We consider problems with a broadcast informati...
ENTCS
2002
13 years 7 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
AFP
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...