Sciweavers

524 search results - page 20 / 105
» ProbFAST: Probabilistic Functional Analysis System Tool
Sort
View
CLIMA
2011
12 years 7 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
ICCAD
2007
IEEE
139views Hardware» more  ICCAD 2007»
14 years 2 months ago
Using functional independence conditions to optimize the performance of latency-insensitive systems
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
Cheng-Hong Li, Luca P. Carloni
IPL
2010
112views more  IPL 2010»
13 years 6 months ago
The cost of probabilistic agreement in oblivious robot networks
In this paper, we look at the time complexity of two agreement problems in networks of oblivious mobile robots, namely, at the gathering and scattering problems. Given a set of ro...
Julien Clement, Xavier Défago, Maria Gradin...
ICIP
2001
IEEE
14 years 9 months ago
Use of a probabilistic shape model for non-linear registration of 3D scattered data
In this paper we address the problem of registering 3D scattered data by the mean of a statistical shape model. This model is built from a training set on which a principal compon...
Isabelle Corouge, Christian Barillot
WSC
2004
13 years 9 months ago
Statistical Analyses for Simulating Schedule Networks
This paper introduces the Stochastic Project Scheduling Simulation (SPSS) system and two additional useful statistical analysis tools. SPSS integrates CPM, PERT, and Discrete Even...
Dong-Eun Lee, Jonathan Jingsheng Shi