Sciweavers

277 search results - page 2 / 56
» Israel
Sort
View
66
Voted
JOLPE
2007
89views more  JOLPE 2007»
15 years 2 months ago
TILTS: A Fast Architectural-Level Transient Thermal Simulation Method
Yongkui Han, Israel Koren, C. Mani Krishna
82
Voted
IJON
2010
91views more  IJON 2010»
15 years 26 days ago
Multiple fuzzy neural networks modeling with sparse data
Israel Cruz-Vega, Wen Yu
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 8 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