5330 search results - page 392 / 1066 » The Performability Tool P'ility |
212
click to vote
IDA
2005
Springer
16 years 1 months ago
2005
Springer
DNA arrays yield a global view of gene expression and can be used to build genetic networks models, in order to study relations between genes. Literature proposes Bayesian network ...
171
click to vote
LCPC
2005
Springer
16 years 1 months ago
2005
Springer
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
165
click to vote
PASTE
2004
ACM
16 years 1 months ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...
170
click to vote
CAISE
2004
Springer
16 years 1 months ago
2004
Springer
In this paper, we illustrate a preliminary approach to the translation of Web data between heterogeneous formats. This work fits into a larger project whose aim is the development...
173
click to vote
DIAGRAMS
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...