1205 search results - page 194 / 241 » Program Extraction from Large Proof Developments |
135
click to vote
MUC
1992
15 years 5 months ago
1992
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...
116
click to vote
TOOLS
2009
IEEE
15 years 8 months ago
2009
IEEE
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
120
click to vote
IJDET
2010
14 years 10 months ago
2010
: Existing adaptive e-learning methods are supported by student (user) profiling for capturing student characteristics, and course structuring for organizing learning materials acc...
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Developers frequently use inefficient code sequences that could be fixed by simple patches. These inefficient code sequences can cause significant performance degradation and ...
108
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Commercial software project managers design project organizational structure carefully, mindful of available skills, division of labour, geographical boundaries, etc. These organi...