1104 search results - page 170 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
A latch-based timing analyzer is an essential tool for developing high-speed pipeline designs. As process variations increasingly influence the timing characteristics of DSM desi...
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
A new handwritten text database, GERMANA, is presented to facilitate empirical comparison of different approaches to text line extraction and off-line handwriting recognition. G...
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
—Much of the computational complexity in employing evolutionary algorithms as optimization tool is due to the fitness function evaluation that may either not exist or be computat...
CAISE
2003
Springer
14 years 2 months ago
2003
Springer
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...
ICFEM
2009
Springer
14 years 1 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...