Sciweavers

10604 search results - page 166 / 2121
» Computational Fluid Dynamics
Sort
View
DAC
2005
ACM
15 years 9 months ago
Dynamic abstraction using SAT-based BMC
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Th...
158
Voted
DCOSS
2008
Springer
15 years 8 months ago
SESAME-P: Memory Pool-Based Dynamic Stack Management for Sensor Operating Systems
Sangho Yi, Seungwoo Lee, Yookun Cho, Jiman Hong