2127 search results - page 318 / 426 » Software Automation |
106
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
116
click to vote
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
CSMR
2008
IEEE
15 years 4 months ago
2008
IEEE
Propagating incremental changes and maintaining traceability are challenges for interactive model transformations, i.e. ones that combine automation with user decisions. After evo...
IESA
2007
15 years 4 months ago
2007
In the area of Human Resource Management, the trend is towards online exchange of information about human resources. For example, online applications for employment become standar...
LREC
2008
15 years 3 months ago
2008
Evaluation of Machine Translation (MT) technology is often tied to the requirement for tedious manual judgments of translation quality. While automated MT metrology continues to b...