Sciweavers

1067 search results - page 47 / 214
» Analysis of BPEL Data Dependencies
Sort
View
98
Voted
ICCS
2005
Springer
15 years 6 months ago
Total Energy Singular Vectors for Atmospheric Chemical Transport Models
The aim of this paper is to address computational aspects of the total energy singular vector analysis of atmospheric chemical transport models. We discuss the symmetry of the tang...
Wenyuan Liao, Adrian Sandu
DAGSTUHL
1997
15 years 1 months ago
Interpolation and Approximation of Surfaces from Three-dimensional Scattered Data Points
There is a wide range of applications for which surface interpolation or approximation from scattered data points in space is important. Dependent on the field of application and...
Robert Mencl, Heinrich Müller
BMCBI
2004
97views more  BMCBI 2004»
15 years 10 days ago
Calibration and assessment of channel-specific biases in microarray data with extended dynamical range
Background: Non-linearities in observed log-ratios of gene expressions, also known as intensity dependent log-ratios, can often be accounted for by global biases in the two channe...
Henrik Bengtsson, Göran Jönsson, Johan V...
ESOP
2004
Springer
15 years 5 months ago
Extracting a Data Flow Analyser in Constructive Logic
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
David Cachera, Thomas P. Jensen, David Pichardie, ...
89
Voted
DSN
2006
IEEE
15 years 6 months ago
Collecting and Analyzing Failure Data of Bluetooth Personal Area Networks
This work presents a failure data analysis campaign on Bluetooth Personal Area Networks (PANs) conducted on two kind of heterogeneous testbeds (working for more than one year). Th...
Marcello Cinque, Domenico Cotroneo, Stefano Russo