Difference between revisions of "Koushanfar2002ilp"
From ACES
(Import from BibTeX) |
m (Default pdf) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 3: | Line 3: | ||
|abstract=We have developed a generic integer linear programming(ILP)-based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabling EC provides a user with the means to specify the amount of flexibility and how this flexibility should be distributed throughout the solution so that one can guarantee that a specific set of EC demands can be satisfied while preserving the quality of the initially obtained solution. Fast EC conducts changes in a fraction of the time needed to solve the problem while preserving or in some cases improving the quality of the initial solution. Preserving EC maintains either user specified components of the solution or as much as possible of the initial solution while still guaranteeing an optimal solution to the altered problem instance. We applied the generic methodology to Boolean Satisfiability (SAT) problem. The effectiveness of all proposed approaches and algorithms is demonstrated on standard benchmarks. | |abstract=We have developed a generic integer linear programming(ILP)-based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabling EC provides a user with the means to specify the amount of flexibility and how this flexibility should be distributed throughout the solution so that one can guarantee that a specific set of EC demands can be satisfied while preserving the quality of the initially obtained solution. Fast EC conducts changes in a fraction of the time needed to solve the problem while preserving or in some cases improving the quality of the initial solution. Preserving EC maintains either user specified components of the solution or as much as possible of the initial solution while still guaranteeing an optimal solution to the altered problem instance. We applied the generic methodology to Boolean Satisfiability (SAT) problem. The effectiveness of all proposed approaches and algorithms is demonstrated on standard benchmarks. | ||
|pages=910 - 915 | |pages=910 - 915 | ||
|month= | |||
|year=2002 | |||
|booktitle=ACM/IEEE-CAS/EDAC Design Automation Conference (DAC) | |booktitle=ACM/IEEE-CAS/EDAC Design Automation Conference (DAC) | ||
|title=ILP-based Engineering Change | |title=ILP-based Engineering Change | ||
|entry=inproceedings | |entry=inproceedings | ||
| | |pdf=Koushanfar2002ilp.pdf | ||
}} | }} | ||
Latest revision as of 17:36, 9 November 2021
| Koushanfar2002ilp | |
|---|---|
| entry | inproceedings |
| address | |
| annote | |
| author | F. Koushanfar and J. Wong and J. Feng and M. Potkonjak |
| booktitle | ACM/IEEE-CAS/EDAC Design Automation Conference (DAC) |
| chapter | |
| edition | |
| editor | |
| howpublished | |
| institution | |
| journal | |
| month | |
| note | |
| number | |
| organization | |
| pages | 910 - 915 |
| publisher | |
| school | |
| series | |
| title | ILP-based Engineering Change |
| type | |
| volume | |
| year | 2002 |
| doi | |
| issn | |
| isbn | |
| url | |
| Koushanfar2002ilp.pdf | |
Email:
farinaz@ucsd.edu
farinaz@ucsd.edu
Address:
Electrical & Computer Engineering
University of California, San Diego
9500 Gilman Drive, MC 0407
Jacobs Hall, Room 6401
La Jolla, CA 92093-0407
Electrical & Computer Engineering
University of California, San Diego
9500 Gilman Drive, MC 0407
Jacobs Hall, Room 6401
La Jolla, CA 92093-0407
Lab Location: EBU1-2514
University of California San Diego
9500 Gilman Dr, La Jolla, CA 92093
University of California San Diego
9500 Gilman Dr, La Jolla, CA 92093