Sciweavers

3069 search results - page 168 / 614
» Issues with the construct of quality
Sort
View
PARA
2004
Springer
15 years 11 months ago
Parallel Hybrid Sparse Solvers Through Flexible Incomplete Cholesky Preconditioning
Abstract. We consider parallel preconditioning schemes to accelerate the convergence of Conjugate Gradients (CG) for sparse linear system solution. We develop methods for construct...
Keita Teranishi, Padma Raghavan
GD
2009
Springer
15 years 10 months ago
Fast Edge-Routing for Large Graphs
To produce high quality drawings of graphs with nodes drawn as shapes it is important to find routes for the edges which do not intersect node boundaries. Recent work in this area...
Tim Dwyer, Lev Nachmanson
TACAS
1997
Springer
72views Algorithms» more  TACAS 1997»
15 years 10 months ago
The Term Processor Generator Kimwitu
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...
Peter van Eijk, Axel Belinfante, Henk Eertink, Hen...
COLING
2008
15 years 7 months ago
Semantic Role Assignment for Event Nominalisations by Leveraging Verbal Data
This paper presents a novel approach to the task of semantic role labelling for event nominalisations, which make up a considerable fraction of predicates in running text, but are...
Sebastian Padó, Marco Pennacchiotti, Caroli...
PTS
2000
75views Hardware» more  PTS 2000»
15 years 7 months ago
Structural Coverage For LOTOS - a Probe Insertion Technique
Coverage analysis of programs and specifications is a common approach to measure the quality and the adequacy of a test suite. This paper presents a probe insertion technique for m...
Daniel Amyot, Luigi Logrippo