1882 search results - page 152 / 377 » Transformational Programming and Forests |
HASKELL
2008
ACM
14 years 11 months ago
2008
ACM
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
ICDCS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we focus on automated techniques to enhance the fault-tolerance of a nonmasking fault-tolerant program to masking. A masking program continually satisfies its spec...
IFIP
1997
Springer
15 years 1 months ago
1997
Springer
We deal with a two-queue model with mixed exhaustive and gated-type K-limited services. This model can achieve various degrees of priority in each queue by varying the value of K....
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Inspired by recent theoretical advances in compressive sensing (CS), we propose a new framework that combines the classical local discrete cosine transform used in image compressi...