Sciweavers

277 search results - page 2 / 56
» Israel
Sort
View
47
Voted
JOLPE
2007
89views more  JOLPE 2007»
14 years 9 months ago
TILTS: A Fast Architectural-Level Transient Thermal Simulation Method
Yongkui Han, Israel Koren, C. Mani Krishna
35
Voted
JOLPE
2007
77views more  JOLPE 2007»
14 years 9 months ago
Simulated Annealing Based Temperature Aware Floorplanning
Yongkui Han, Israel Koren
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 2 months ago
Abstraction and Refinement in Model Checking
ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005
Orna Grumberg