2335 search results - page 319 / 467 » Functional Differentiation of Computer Programs |
115
Voted
CTRS
1987
15 years 6 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
127
Voted
ISMB
2000
15 years 4 months ago
2000
We present a computational approach to predicting operons in the genomes of prokaryotic organisms. Our approach uses machine learning methods to induce predictive models for this ...
162
Voted
PC
2000
15 years 2 months ago
2000
Dynamic Load Balancing is an important system function destined to distribute workload among available processors to improve throughput and/or execution times of parallel computer...
132
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
108
Voted
PACT
2005
Springer
15 years 8 months ago
2005
Springer
The paper is dedicated to an open T-system (OpenTS) — a programming system that supports automatic parallelization of computations for high-performance and distributed applicatio...