Sciweavers

10604 search results - page 166 / 2121
» Computational Fluid Dynamics
Sort
View
DAC
2005
ACM
15 years 5 months ago
Dynamic abstraction using SAT-based BMC
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Th...
95
Voted
DAC
2008
ACM
15 years 5 months ago
Optimality and improvement of dynamic voltage scaling algorithms for multimedia applications
Zhen Cao, Brian Foo, Lei He, Mihaela van der Schaa...
103
Voted
DCOSS
2008
Springer
15 years 5 months ago
SESAME-P: Memory Pool-Based Dynamic Stack Management for Sensor Operating Systems
Sangho Yi, Seungwoo Lee, Yookun Cho, Jiman Hong