Sciweavers

277 search results - page 2 / 56
» Israel
Sort
View
JOLPE
2007
89views more  JOLPE 2007»
15 years 6 months ago
TILTS: A Fast Architectural-Level Transient Thermal Simulation Method
Yongkui Han, Israel Koren, C. Mani Krishna
94
Voted
JOLPE
2007
77views more  JOLPE 2007»
15 years 6 months ago
Simulated Annealing Based Temperature Aware Floorplanning
Yongkui Han, Israel Koren
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 12 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