2171 search results - page 92 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
121
click to vote
ISPASS
2006
IEEE
15 years 11 months ago
2006
IEEE
Commercial processors have support for Simultaneous Multithreading (SMT), yet little work has been done to provide representative simulation results for SMT. Given a workload, cur...
155
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
130
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper discusses the issue of dynamic resource allocation (DRA) in the context of cognitive radio (CR) networks. We present a general framework adopting generalized transmitte...
147
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
: Many structured light scanning systems based on temporal pattern codification produce dense and robust results on static scenes but behave very poorly when applied to dynamic sc...
135
click to vote
IJCAI
2007
15 years 6 months ago
2007
Caching, symmetries, and search with decomposition are powerful techniques for pruning the search space of constraint problems. In this paper we present an innovative way of effi...