6248 search results - page 332 / 1250 » Programming in a data factory |
213
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: All known genomes code for a large number of transcription factors. It is important to develop methods that will reveal how these transcription factors act on a genome...
187
click to vote
QRE
2010
2010
Improving quality of prediction in highly dynamic environments using approximate dynamic programming
15 years 5 months ago
In many applications, decision making under uncertainty often involves two steps- prediction of a certain quality parameter or indicator of the system under study and the subseque...
172
click to vote
FOSSACS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
164
click to vote
ADAEUROPE
2006
Springer
16 years 22 days ago
2006
Springer
In this paper we present data flow frameworks that are able to detect access anomalies in Ada multi-tasking programs. In particular, our approach finds all possible non-sequentia...
140
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Collective operations on distributed data sets foster a high-level data-parallel programming style that eases many aspects of parallel programming significantly. In this paper we...