1205 search results - page 111 / 241 » Program Extraction from Large Proof Developments |
143
click to vote
INFSOF
2000
15 years 1 months ago
2000
An important issue in a component-based software development process is the supply source of mature, reliable, adaptable, and maintainable components. We define as component minin...
123
click to vote
CLUSTER
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract-- Multicore microprocessors have been largely motivated by the diminishing returns in performance and the increased power consumption of single-threaded ILP microprocessor...
128
click to vote
APSEC
1999
IEEE
15 years 5 months ago
1999
IEEE
One of the characteristics of large software systems is that they evolve over time. Evolution patterns include modifications related to the implementation, interfaces and the over...
123
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Computer System Administration and Network Administration are few such areas where Practical Extraction Reporting Language (Perl) has robust utilization these days apart from Bioi...
123
click to vote
MM
2003
ACM
15 years 6 months ago
2003
ACM
In this paper, we present a system that automates home video editing. This system automatically extracts a set of highlight segments from a set of raw home videos and aligns them ...