1205 search results - page 150 / 241 » Program Extraction from Large Proof Developments |
107
click to vote
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
127
click to vote
ECBS
1999
IEEE
15 years 5 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
111
click to vote
IJRR
2008
15 years 1 months ago
2008
We develop a new motion planning algorithm for a variant of a Dubins car with binary left/right steering and apply it to steerable needles, a new class of flexible beveltip medica...
BMCBI
2008
15 years 1 months ago
2008
Background: GenBank flatfile (GBF) format is one of the most popular sequence file formats because of its detailed sequence features and ease of readability. To use the data in th...
138
click to vote
HIPC
2007
Springer
15 years 5 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...