7576 search results - page 253 / 1516 » UNIX as an Application Program |
163
click to vote
JFP
2006
15 years 6 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
170
click to vote
ENTCS
2007
15 years 6 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
176
click to vote
PC
1998
15 years 6 months ago
1998
BSPlib is a small communications library for bulk synchronous parallel (BSP) programming which consists of only 20 basic operations. This paper presents the full de nition of BSPl...
175
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
260
click to vote
Book
"GP is a systematic, domain-independent method for getting computers to solve problems automatically starting from a high-level statement of what needs to be done. Using ideas...