Sciweavers

4077 search results - page 102 / 816
» Statistical Approach to Networks-on-Chip
Sort
View
210
Voted
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 11 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
167
Voted
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 11 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
165
Voted
DAC
2004
ACM
15 years 9 months ago
Statistical gate delay model considering multiple input switching
There is an increased dominance of intra-die process variations, creating a need for an accurate and fast statistical timing analysis. Most of the recent proposed approaches assum...
Aseem Agarwal, Florentin Dartu, David Blaauw
CLEF
2006
Springer
15 years 9 months ago
Statistical vs. Rule-Based Stemming for Monolingual French Retrieval
This paper describes our approach to the 2006 Adhoc Monolingual Information Retrieval run for French. The goal of our experiment was to compare the performance of a proposed stati...
Prasenjit Majumder, Mandar Mitra, Kalyankumar Datt...
ICCV
2005
IEEE
16 years 7 months ago
Image Statistics Based on Diffeomorphic Matching
We propose a new approach to deal with the first and second order statistics of a set of images. These statistics take into account the images characteristic deformations and thei...
Guillaume Charpiat, Olivier D. Faugeras, Renaud Ke...