1205 search results - page 146 / 241 » Program Extraction from Large Proof Developments |
110
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
105
click to vote
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
Bioinformatics is a new and rapidly evolving discipline that has emerged from the fields of experimental molecular biology and biochemistry, and from the the artificial intelligen...
101
click to vote
CIKM
2010
Springer
15 years 2 days ago
2010
Springer
Collecting, organizing, and thinking about diverse information resources is the keystone of meaningful digital information experiences, from research to education to leisure. Meta...
105
click to vote
ICSM
2006
IEEE
15 years 7 months ago
2006
IEEE
In the traditional software engineering courses, the students develop small programs from scratch. This does not correspond to industry practice where programmers spend most of th...
IM
2007
15 years 2 months ago
2007
Abstract— The deployment of converged services of TV, telephony, and Internet access over IP entails a significant initial investment for service providers. This investment is n...