524 search results - page 3 / 105 » ProbFAST: Probabilistic Functional Analysis System Tool |
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...
DILS
2009
Springer
13 years 12 months ago
2009
Springer
Probabilistic functional integrated networks are powerful tools with which to draw inferences from high-throughput data. However, network analyses are generally not tailored to spe...
ICSE
1997
IEEE-ACM
13 years 9 months ago
1997
IEEE-ACM
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
QEST
2007
IEEE
13 years 11 months ago
2007
IEEE
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...