Sciweavers

2212 search results - page 334 / 443
» Automated software wrapping
Sort
View
106
Voted
AMAST
2008
Springer
15 years 4 months ago
System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries
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 ...
Yevgen Voronenko, Franz Franchetti, Fréd&ea...
121
Voted
CODES
2008
IEEE
15 years 4 months ago
Specification-based compaction of directed tests for functional validation of pipelined processors
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...
Heon-Mo Koo, Prabhat Mishra
100
Voted
CSMR
2008
IEEE
15 years 4 months ago
Decision Reuse in an Interactive Model Transformation
Propagating incremental changes and maintaining traceability are challenges for interactive model transformations, i.e. ones that combine automation with user decisions. After evo...
Mika Siikarla, Tarja Systä
103
Voted
IESA
2007
15 years 4 months ago
Integration of Job Portals by Meta-search
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...
J. Dorn, T. Naz
140
Voted
DAIS
2007
15 years 4 months ago
Experiences from Developing a Distributed Context Management System for Enabling Adaptivity
Today, one can observe an ever increasing trend in the use of mobile systems. This change inevitably affects the software running on such devices by necessitating additional functi...
Nearchos Paspallis, Avraam Chimaris, George A. Pap...