10285 search results - page 2009 / 2057 » Composing Feature Models |
141
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
131
click to vote
PPOPP
2003
ACM
15 years 7 months ago
2003
ACM
Simultaneous multithreading (SMT) represents a fundamental shift in processor capability. SMT's ability to execute multiple threads simultaneously within a single CPU offers ...
131
click to vote
DAGM
2003
Springer
15 years 7 months ago
2003
Springer
We provide an overview of spline and wavelet techniques with an emphasis on applications in pattern recognition. The presentation is divided in three parts. In the first one, we ar...
126
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
155
click to vote
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...