Sciweavers

570 search results - page 24 / 114
» Robustness and Implementability of Timed Automata
Sort
View
FODO
1993
Springer
147views Algorithms» more  FODO 1993»
15 years 3 months ago
Design and Implementation of DDH: A Distributed Dynamic Hashing Algorithm
Abstract. DDH extends the idea of dynamic hashing algorithms to distributed systems. DDH spreads data across multiple servers in a network using a novel autonomous location discove...
Robert Devine
DSN
2007
IEEE
15 years 6 months ago
On the Selection of Error Model(s) for OS Robustness Evaluation
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
Andréas Johansson, Neeraj Suri, Brendan Mur...
DBPL
2007
Springer
98views Database» more  DBPL 2007»
15 years 6 months ago
Towards Practical Typechecking for Macro Tree Transducers
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
Alain Frisch, Haruo Hosoya
GLOBECOM
2010
IEEE
14 years 9 months ago
Independent Parallel Compact Finite Automatons for Accelerating Multi-String Matching
Multi-string matching is a key technique for implementing network security applications like Network Intrusion Detection Systems (NIDS) and anti-virus scanners. Existing DFA-based ...
Yi Tang, Junchen Jiang, Xiaofei Wang, Bin Liu, Yan...
DNA
2003
Springer
153views Bioinformatics» more  DNA 2003»
15 years 5 months ago
Proofreading Tile Sets: Error Correction for Algorithmic Self-Assembly
Abstract. For robust molecular implementation of tile-based algorithmic self-assembly, methods for reducing errors must be developed. Previous studies suggested that by control of ...
Erik Winfree, Renat Bekbolatov