1205 search results - page 112 / 241 » Program Extraction from Large Proof Developments |
166
click to vote
POPL
2012
ACM
14 years 10 days ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
147
Voted
LION
2009
Springer
15 years 11 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
144
click to vote
JILP
2000
15 years 4 months ago
2000
A major challenge of applying profile-based optimization on large real-world applications is how to capture adequate profile information. A large program, especially a GUI-based a...
177
click to vote
3DIM
2005
IEEE
15 years 10 months ago
2005
IEEE
Our goal is the production of highly accurate photorealistic descriptions of the 3D world with a minimum of human interaction and increased computational efficiency. Our input is...
130
click to vote
LOPSTR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...