MétaCan
Menu
Back to cohort
Record W2126919183 · doi:10.1287/ijoc.1060.0188

From the Guest Editor—Special Cluster on Operations Research in Electrical and Computer Engineering

2006· article· en· W2126919183 on OpenAlex

Why this work is in the frame

A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.

affAt least one author lists a Canadian institution in the pinned OpenAlex snapshot.

Bibliographic record

VenueINFORMS journal on computing · 2006
Typearticle
Languageen
FieldComputer Science
TopicDistributed and Parallel Computing Systems
Canadian institutionsCarleton University
Fundersnot available
KeywordsComputer scienceCluster (spacecraft)Industrial engineeringOperations researchSoftware engineeringEngineering drawingProgramming languageEngineering

Abstract

fetched live from OpenAlex

My research in optimization at the Department of Systems and Computer Engineering at Carleton University has brought me into contact with researchers in the Department of Electronics, our sister department in the general field of Electrical and Computer Engineering (ECE), which has a major research thrust in computer-aided design (CAD) of very large scale integrated (VLSI) circuits. I have come to realize that the design of VLSI systems consists in large part of solving incredibly massive mixed-integer nonlinear optimization problems, together with enormous circuit simulations. This is impossible without the use of CAD techniques. Over time, ECE-CAD researchers have both borrowed useful standard techniques from operations research (OR) and have invented their own, often to deal with the sheer scale and complexity of the design problems they face. Interaction between the OR and ECE-CAD communities would seem to be a natural development. Coincidentally, the INFORMS Journal on Computing had an area entitled “High Performance Computation” that covered (i) the solution of OR problems using new computing technologies, (ii) the application of OR techniques in the design and use of highperformance computing and communication systems, and (iii) solution methods for ultra-large-scale OR applications. The viability of this area was debated during 2003 as some of its aspects migrated to other areas (e.g., the new “Telecommunications and Electronic Commerce” area), and the number of submissions declined. The area was eventually closed, although I argued that the overlap between OR and ECE-CAD, essentially covering items (ii) and (iii), was a very active research area. This Special Cluster of papers was conceived as a way to test that argument. I was recruited at the same time to prepare a tutorial on ECE-CAD for the 2004 INFORMS Annual Meeting (see John W. Chinneck, Michel Nakhla, and Q. J. Zhang 2004. Computer-aided design for electrical and computer engineering. H. J. Greenberg, ed. Tutorials on Emerging Methodologies and Applications in Operations Research. Springer, New York, 6-1 to 6-44). The preparation of the article reinforced my observation about the research overlap between OR and ECE-CAD. A search of the electrical engineering literature for 2000 through early 2004 turned up 46,725 papers mentioning “simulate” or “simulation” as keywords in the abstract, 14,216 papers mentioning “optimization” or “optimize,” and relatively smaller numbers for specific techniques such as “neural network” (6,251), “genetic algorithm” (2,603), “linear programming” (576), “simulated annealing” (448), and “branch and bound” (199). One surprise was the relatively small number of papers using the generic keywords “mathematical programming” (68) or “operations research” (37). The general conclusion of the tutorial article is that the OR and the ECE-CAD communities have much to offer each other. This is certainly the case for the papers gathered in this Special Cluster. We see known OR techniques adapted for use in ECECAD. In “Integer Linear Programming Models for Global Routing,” Behjat et al. apply integer linear programming in a heuristic to solve enormous NPhard connection routing problems for VLSI circuits. In “Task Scheduling in a Finite-Resource, Reconfigurable Hardware/Software Codesign Environment,” Loo and Wells use simulated annealing, genetic algorithms, and random search techniques to solve scheduling problems in hardware-software co-design. We also see new techniques specifically developed by the ECE-CAD community to deal with problems of extreme scale. In “A Projection-Based Reduction Approach to Computing Sensitivity of Steady-State Response of Nonlinear Circuits,” Pai et al. develop methods for sensitivity analysis in extremely large nonlinear programs, especially those in which the objective function is very costly to evaluate. The methods have special relevance for simulation-based

Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.

Full frame distilled prediction

Teacher imitation

Not calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.

metaresearch head score (Codex)0.002
metaresearch head score (Gemma)0.000
Version: codex-gemma-dda1882f352aValidation status: machine_predicted_unvalidated
Candidate categoriesScholarly communication
Consensus categoriesnone
DomainCandidate signal: none · Consensus signal: none
Study designCandidate signal: Simulation or modeling · Consensus signal: Simulation or modeling
GenreCandidate signal: Empirical · Consensus signal: none
Teacher disagreement score0.492
Threshold uncertainty score1.000

Codex and Gemma teacher scores by category

CategoryCodexGemma
Metaresearch0.0020.000
Meta-epidemiology (narrow)0.0000.000
Meta-epidemiology (broad)0.0000.000
Bibliometrics0.0000.001
Science and technology studies0.0010.000
Scholarly communication0.0010.000
Open science0.0010.000
Research integrity0.0000.001
Insufficient payload (model declined to judge)0.0000.000

Machine scores (provisional)

The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.

Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.

Opus teacher head0.021
GPT teacher head0.282
Teacher spread0.261 · how far apart the two teachers sit on this one work
Validation statusscore_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it