Sciweavers

1860 search results - page 17 / 372
» tools 2009
Sort
View
ACL
2009
13 years 7 months ago
iChi: a bilingual dictionary generating tool
In this paper we introduce a bilingual dictionary generating tool that does not use any large bilingual corpora. With this tool we implement our novel pivot based bilingual dictio...
István Varga, Shoichi Yokoyama
HCI
2009
13 years 7 months ago
Heuristic Evaluations of Bioinformatics Tools: A Development Case
Heuristic evaluations are an efficient low cost method for identifying usability problems in a biomedical research tool. Combining the results of these evaluations with findings fr...
Barbara Mirel, Zach Wright
ICTAC
2009
Springer
13 years 7 months ago
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
Hallstein Asheim Hansen, Gerardo Schneider
FPGA
2009
ACM
209views FPGA» more  FPGA 2009»
14 years 4 months ago
SPR: an architecture-adaptive CGRA mapping tool
In this paper we present SPR, a new architecture-adaptive mapping tool for use with Coarse-Grained Reconfigurable Architectures (CGRAs). It combines a VLIW style scheduler and FP...
Stephen Friedman, Allan Carroll, Brian Van Essen, ...
ICSE
2009
IEEE-ACM
14 years 4 months ago
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
Séverine Sentilles, Anders Pettersson, Dag ...