1104 search results - page 170 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
104
Voted
ICCAD
2004
IEEE
16 years 17 days 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...
110
click to vote
ICDAR
2009
IEEE
15 years 10 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...
152
Voted
CEC
2008
IEEE
15 years 10 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...
175
Voted
CAISE
2003
Springer
15 years 9 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...
122
Voted
ICFEM
2009
Springer
15 years 8 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...