Sciweavers

285 search results - page 29 / 57
» A Matlab Toolbox Implementing Level Set Methods
Sort
View
CIKM
2001
Springer
15 years 4 months ago
Index Filtering and View Materialization in ROLAP Environment
Using materialized view to accelerate OLAP queries is one of the most common methods used in ROLAP systems. However, high storage and computation cost make this method very diffic...
Shi Guang Qiu, Tok Wang Ling
FM
2003
Springer
129views Formal Methods» more  FM 2003»
15 years 5 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann
HPCN
2000
Springer
15 years 3 months ago
ParIC: A Family of Parallel Incomplete Cholesky Preconditioners
A class of parallel incomplete factorization preconditionings for the solution of large linear systems is investigated. The approach may be regarded as a generalized domain decompo...
Mardochée Magolu monga Made, Henk A. van de...
TACAS
2000
Springer
121views Algorithms» more  TACAS 2000»
15 years 3 months ago
Using Static Analysis to Improve Automatic Test Generation
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
EPEW
2005
Springer
15 years 5 months ago
Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments
Abstract. We consider wireless ad-hoc networks and implement failure detections mechanisms. These failure detectors provide elementary information for high level distributed algori...
Corine Marchand, Jean-Marc Vincent