1205 search results - page 108 / 241 » Program Extraction from Large Proof Developments |
106
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
There can be no doubt that risk management is an important activity in the software engineering area. One proof of this is the large body of work existing in this area. However, w...
126
Voted
POPL
2011
ACM
14 years 4 months ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...
113
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
The paper describes a visualization mechanism that permits fast extraction of high-resolution slices of interest from large biomedical datasets stored remotely. To provide the user...
ECCC
2010
15 years 1 months ago
2010
A design is a finite set of points in a space on which every "simple" functions averages to its global mean. Illustrative examples of simple functions are low-degree pol...
162
click to vote
EMNLP
2008
15 years 3 months ago
2008
This paper explores the challenge of scaling up language processing algorithms to increasingly large datasets. While cluster computing has been available in commercial environment...