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

Multilevel k-way hypergraph partitioning

George Karypis, Vipan Kumar · 2003 · 207 citations · Full text

Computing, Computer Science, Algorithms +16

Symbolic model checking using SAT procedures instead of BDDs

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

Computing, Computer Engineering, Computer Science +16

Dynamic power management based on continuous-time Markov decision processes

Qinru Qiu, Massoud Pedram · 2003 · 92 citations

Engineering, Computer Science, Electrical Engineering +12

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

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

Computing, Computer Science, Data Structures +6

Cycle-accurate simulation of energy consumption in embedded systems

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

Engineering, Computer Engineering, Computer Science +17