Sciweavers

2006 search results - page 181 / 402
» Heuristic Security-Testing Methods
Sort
View
EDCC
2005
Springer
15 years 12 months ago
Adding Fault-Tolerance Using Pre-synthesized Components
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolera...
Sandeep S. Kulkarni, Ali Ebnenasir
WORDS
2002
IEEE
15 years 11 months ago
Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps
Feature interactions (FIs, in short) occur when features of different communication services interfere with each other. The FI filtering is a pre-processing before the FI detecti...
Masahide Nakamura, Pattara Leelaprute, Tohru Kikun...
NAA
2000
Springer
97views Mathematics» more  NAA 2000»
15 years 10 months ago
Nested-Dissection Orderings for Sparse LU with Partial Pivoting
We describe the implementation and performance of a novel fill-minimization ordering technique for sparse LU factorization with partial pivoting. The technique was proposed by Gilb...
Igor Brainman, Sivan Toledo
NN
2010
Springer
125views Neural Networks» more  NN 2010»
15 years 4 months ago
Parameter-exploring policy gradients
We present a model-free reinforcement learning method for partially observable Markov decision problems. Our method estimates a likelihood gradient by sampling directly in paramet...
Frank Sehnke, Christian Osendorfer, Thomas Rü...
TKDE
2010
151views more  TKDE 2010»
15 years 4 months ago
Dictionary-Based Compression for Long Time-Series Similarity
—Long time-series datasets are common in many domains, especially scientific domains. Applications in these fields often require comparing trajectories using similarity measure...
Willis Lang, Michael D. Morse, Jignesh M. Patel