Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361)

Multilevel k-way hypergraph partitioning

George Karypis, Vipan Kumar · 2003 · 205 citations

Cluster Computing, Engineering, Network Analysis +19

Symbolic model checking using SAT procedures instead of BDDs

A. Biere, A. Cimatti, E.M. Clarke et al. · 2003 · 154 citations

Propositional Decision Procedures, Engineering, Hardware Verification Language +19

Dynamic power management based on continuous-time Markov decision processes

Qinru Qiu, Massoud Pedram · 2003 · 92 citations

Power Management Policy, Service Provider, Power Consumption +14

Cycle-accurate simulation of energy consumption in embedded systems

T. Simunic, Luca Benini, Giovanni De Micheli · 2003 · 88 citations

Engineering, Energy Efficiency, Computer Architecture +16

An O-tree representation of non-slicing floorplan and its applications

Pei-Ning Guo, Chung‐Kuan Cheng, T. Yoshimura · 2003 · 88 citations

Geometric Modeling, Mathematical Programming, Engineering +8