841 search results - page 41 / 169 » An adaptive performance modeling tool for GPU architectures |
BPM
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
ITC
2003
IEEE
14 years 2 months ago
2003
IEEE
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
DAC
1996
ACM
14 years 26 days ago
1996
ACM
Abstract A divide-and-conquer algorithm for computing the parametric yield of large analog circuits is presented. The algorithm targets applications whose performance spreads could...
LREC
2010
13 years 10 months ago
2010
FreeLing is an open-source multilingual language processing library providing a wide range of language analyzers for several languages. It offers text processing and language anno...