Sciweavers

1830 search results - page 157 / 366
» Functional Programs as Linked Data
Sort
View
IFL
1997
Springer
136views Formal Methods» more  IFL 1997»
15 years 7 months ago
Fully Persistent Graphs - Which One To Choose?
Functional programs, by nature, operate on functional, or persistent, data structures. Therefore, persistent graphs are a prerequisite to express functional graph algorithms. In th...
Martin Erwig
EUROITV
2008
Springer
15 years 4 months ago
An Experimental Platform Based on MCE for Interactive TV
In this paper, we propose an experimental platform for the design of interactive TV. On this platform, designers are allowed to emulate broadcasting programs, define control functi...
Ping-Yi Liu, Hung-Wei Lee, Tsai-Yen Li, Shwu-Lih H...
ENTCS
2002
98views more  ENTCS 2002»
15 years 3 months ago
Verified Code Generation for Embedded Systems
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
Sabine Glesner, Rubino Geiß, Boris Boesler
POPL
2007
ACM
16 years 3 months ago
Lightweight fusion by fixed point promotion
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
Atsushi Ohori, Isao Sasano
148
Voted
BMCBI
2004
200views more  BMCBI 2004»
15 years 3 months ago
ABC: software for interactive browsing of genomic multiple sequence alignment data
Background: Alignment and comparison of related genome sequences is a powerful method to identify regions likely to contain functional elements. Such analyses are data intensive, ...
Gregory M. Cooper, Senthil A. G. Singaravelu, Aren...