Sciweavers

4836 search results - page 284 / 968
» Exploring the Similarity Space
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Theoretical analyses on a class of nested RKHS's
One of central topics of kernel machines in the field of machine learning is a model selection, especially a selection of a kernel or its parameters. In our previous work, we dis...
Akira Tanaka, Hideyuki Imai, Mineichi Kudo, Masaak...
SIGSOFT
2007
ACM
16 years 7 months ago
A study of interleaving coverage criteria
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
Shan Lu, Weihang Jiang, Yuanyuan Zhou
POPL
2005
ACM
16 years 7 months ago
Dynamic partial-order reduction for model checking software
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
Cormac Flanagan, Patrice Godefroid
SAMOS
2004
Springer
16 years 4 days ago
Modeling Loop Unrolling: Approaches and Open Issues
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
João M. P. Cardoso, Pedro C. Diniz
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
16 years 2 days ago
Multi-Granularity Metrics for the Era of Strongly Personalized SOCs
This paper details the first step of the Design Trotter framework for design space exploration applied to dedicated SOCs. The aim of this step is to provide metrics in order to gu...
Yannick Le Moullec, Nahla Ben Amor, Jean-Philippe ...