Sciweavers

2497 search results - page 303 / 500
» Requirements for models of achievable routing
Sort
View
VALUETOOLS
2006
ACM
16 years 21 days ago
Splitting with weight windows to control the likelihood ratio in importance sampling
Importance sampling (IS) is the most widely used efficiency improvement method for rare-event simulation. When estimating the probability of a rare event, the IS estimator is the ...
Pierre L'Ecuyer, Bruno Tuffin
COMPSAC
2005
IEEE
16 years 12 days ago
Designing Controllers for Reachability
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
Cristina Cerschi Seceleanu
CSB
2005
IEEE
139views Bioinformatics» more  CSB 2005»
16 years 12 days ago
Using Parallel Algorithms for Searching Molecular Sequence Databases
This work presents the development of algorithms for approximate string matching using parallel methods. It intends to do the maximum of molecular sequences comparisons per unity ...
Carla Correa Tavares dos Reis, Rubem P. Mondaini
GLVLSI
2005
IEEE
83views VLSI» more  GLVLSI 2005»
16 years 11 days ago
Diagnosing multiple transition faults in the absence of timing information
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
Jiang Brandon Liu, Magdy S. Abadir, Andreas G. Ven...
IAT
2005
IEEE
16 years 11 days ago
Conversation Pattern-based Anticipation of Teammates' Information Needs via Overhearing
One research focus of human-centered teamwork is on advanced decision architectures that can help people make effective and timely decisions. This requires distributed team member...
Xiaocong Fan, John Yen