Concepedia

G. De Mitcheli

GD

1

Publications

90

Citations

1

H-Index

1992

Active since

Affiliations

Stanford University(Current)

G. De Mitcheli is an author at Stanford University specializing in combinatorial optimization, formal methods, and computer engineering.

Top concepts

EngineeringCircuit DesignFormal MethodsComputer ScienceReal-time SystemsParallel ComputingFormal VerificationInteger ProgrammingSystem-level DesignSystems Engineering

Publications per year

1992–1992

1

Publications

1

Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits

David C. Ku, G. De Mitcheli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1992 · 90 citations

Ill-posed Constraint Graph, Engineering, Electronic Design Automation +27

Rows per page

1–1 of 1