Sciweavers

1830 search results - page 114 / 366
» Functional Programs as Linked Data
Sort
View
SSR
2001
134views more  SSR 2001»
15 years 4 months ago
Generation of visitor components that implement program transformations
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
Kurt Stirewalt, Laura K. Dillon
132
Voted
NAR
2000
117views more  NAR 2000»
15 years 3 months ago
The TIGR Gene Indices: reconstruction and representation of expressed gene sequences
Expressed sequence tags (ESTs) have provided a first glimpse of the collection of transcribed sequences in a variety of organisms. However, a careful analysis of this sequence dat...
John Quackenbush, Feng Liang, Ingeborg Holt, Geo P...
APLAS
2009
ACM
15 years 9 months ago
A Short Cut to Optimal Sequences
We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to ...
Akimasa Morihata
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 6 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
IPPS
2006
IEEE
15 years 9 months ago
Algorithmic skeletons for stream programming in embedded heterogeneous parallel image processing applications
Algorithmic skeletons can be used to write architecture independent programs, shielding application developers from the details of a parallel implementation. In this paper, we pre...
Wouter Caarls, Pieter P. Jonker, Henk Corporaal