4719 search results - page 571 / 944 » Spreadsheet functional programming |
143
click to vote
JCB
2000
15 years 4 months ago
2000
We present an implementation of McCaskill's algorithm for computing the base pair probabilities of an RNA molecule for massively parallel message passing architectures. The p...
141
click to vote
AROBOTS
1998
15 years 4 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
128
click to vote
SAS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
142
click to vote
FAST
2009
15 years 2 months ago
2009
The lineage of a piece of data is of utility to a wide range of domains. Several application-specific extensions have been built to facilitate tracking the origin of the output th...
154
click to vote
IEEEARES
2009
IEEE
15 years 2 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...