1205 search results - page 161 / 241 » Program Extraction from Large Proof Developments |
111
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
127
click to vote
ACMSE
2004
ACM
15 years 6 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
156
click to vote
DAGSTUHL
2009
15 years 2 months ago
2009
Abstract. In this paper we elaborate on the challenges of learning manifolds that have many relevant clusters, and where the clusters can have widely varying statistics. We call su...
111
click to vote
PRL
2008
15 years 1 months ago
2008
We describe a multi-purpose image classifier that can be applied to a wide variety of image classification tasks without modifications or fine-tuning, and yet provide classificati...
114
click to vote
DEXA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Sequence alignment is an important task for molecular biologists. Because alignment basically deals with approximate string matching on large biological sequence collecti...