Sciweavers

7103 search results - page 190 / 1421
» Program Generation and Components
Sort
View
157
Voted
EVOW
2008
Springer
15 years 4 months ago
A Hybrid Column Generation Approach for the Berth Allocation Problem
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...
Geraldo R. Mauri, Alexandre C. M. Oliveira, Luiz A...
116
Voted
DAC
2000
ACM
16 years 3 months ago
Embedded hardware and software self-testing methodologies for processor cores
At-speed testing of GHz processors using external testers may not be technically and economically feasible. Hence, there is an emerging need for low-cost, high-quality self-test m...
Li Chen, Sujit Dey, Pablo Sanchez, Krishna Sekar, ...
EPS
1998
Springer
15 years 6 months ago
Genetic Programming for Automatic Target Classification and Recognition
We use the genetic programming (GP) paradigm for two tasks. The first task given a GP is the generation of rules for the target / clutter classification of a set of synthetic apert...
Stephen A. Stanhope, Jason M. Daida
114
Voted
AOSD
2008
ACM
15 years 4 months ago
"Program, enhance thyself!": demand-driven pattern-oriented program enhancement
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...
Eli Tilevich, Godmar Back
119
Voted
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
15 years 1 months ago
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
Christophe Alias, Alain Darte, Paul Feautrier, Lau...