Sciweavers

6239 search results - page 367 / 1248
» From Zinc to Design Model
Sort
View
FIMH
2007
Springer
16 years 1 months ago
Simulation of 3D Ultrasound with a Realistic Electro-mechanical Model of the Heart
This paper presents a first set of experiments to integrate a realistic electro-mechanical model of a beating heart into simulated real-time three-dimensional (RT3D) ultrasound da...
Qi Duan, Philippe Moireau, Elsa D. Angelini, Domin...
CF
2010
ACM
16 years 20 days ago
Enabling a highly-scalable global address space model for petascale computing
Over the past decade, the trajectory to the petascale has been built on increased complexity and scale of the underlying parallel architectures. Meanwhile, software developers hav...
Vinod Tipparaju, Edoardo Aprà, Weikuan Yu, ...
103
Voted
CORR
2010
Springer
34views Education» more  CORR 2010»
15 years 7 months ago
Statistical Modelling of ft to Process Parameters in 30 nm Gate Length Finfets
This paper investigates the effect of process variations on unity gain frequency (ft) in 30 nm gate length FinFET by performing extensive TCAD simulations. Six different geometric...
B. Lakshmi, R. Srinivasan
IJMI
2010
212views more  IJMI 2010»
15 years 6 months ago
Integrating the SE and HCI models in the human factors engineering cycle for re-engineering Computerized Physician Order Entry s
The integration of Software Engineering (SE) and Human-Computer Interaction (HCI) methods and models is an interesting means for modelling an organization's activities, with ...
Stéphanie Bernonville, Christophe Kolski, N...
POPL
2012
ACM
14 years 3 months ago
Run your research: on the effectiveness of lightweight mechanization
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
Casey Klein, John Clements, Christos Dimoulas, Car...