1003 search results - page 94 / 201 » A modeling approach and reference models for the analysis of... |
JGS
2010
13 years 2 months ago
2010
Despite the fact that it provides a potentially useful analytical tool, allowing for the joint modeling of dynamic interdependencies within a group of connected areas, until latel...
DAC
2011
ACM
12 years 7 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are difï...
EMNLP
2007
13 years 9 months ago
2007
This paper describes a probabilistic model for coordination disambiguation integrated into syntactic and case structure analysis. Our model probabilistically assesses the parallel...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
FLAIRS
2006
13 years 9 months ago
2006
This paper considers a robot with multiple sensors navigating an unknown, heterogeneous environment. In these cases sensor errors may produce an unsuitable model of the world. For...