2070 search results - page 189 / 414 » A Reduced-Basis Element Method |
119
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
A rational Arnoldi method for passivity-preserving model-order reduction (MOR) with implicit multi-point moment matching for systems with frequency-dependent interconnects is desc...
147
click to vote
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
Using methods from the computational sciences to improve the quality of health care is an important part of current medical progress. A particulary complex field is surgery simulat...
135
click to vote
SAS
2009
Springer
16 years 4 months ago
2009
Springer
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
115
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 1 months ago
2010
Eurographics
This paper presents a physically based method for simulating the heat transfers between the different environmental elements to synthesize realistic winter sceneries. We simulate ...
146
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
—In this paper we propose the method of task merging and idle period clustering for dynamic power management (DPM) in a real-time system with multiple processing elements. We sho...