1205 search results - page 161 / 241 » Program Extraction from Large Proof Developments |
151
Voted
PLDI
2010
ACM
15 years 10 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...
149
Voted
ACMSE
2004
ACM
15 years 10 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...
192
Voted
DAGSTUHL
2009
15 years 6 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...
141
Voted
PRL
2008
15 years 5 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...
151
Voted
DEXA
2007
Springer
15 years 11 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...