Sciweavers

1366 search results - page 90 / 274
» Simulation Modeling and Optimization using ProModel
Sort
View
113
Voted
ESOP
2010
Springer
15 years 10 months ago
Generative Operational Semantics for Relaxed Memory Models
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
Radha Jagadeesan, Corin Pitcher and James Riely
100
Voted
IMR
2004
Springer
15 years 6 months ago
3D Hybrid Mesh Generation for Reservoir Flow Simulation
A great challenge for flow simulators of new generation is to gain more accuracy at well proximity within complex geological structures. For this purpose, a new approach based on...
N. Flandrin, Houman Borouchaki, Chakib Bennis
90
Voted
EOR
2008
81views more  EOR 2008»
15 years 21 days ago
Investment timing and optimal capacity choice for small hydropower projects
This paper presents a method for assessing small hydropower projects that are subject to uncertain electricity prices. We present a real options-based method with continuous scali...
Thor Bøckman, Stein-Erik Fleten, Erik Juliu...
122
Voted
JSA
2007
191views more  JSA 2007»
15 years 15 days ago
Automated memory-aware application distribution for Multi-processor System-on-Chips
Mapping of applications on a Multiprocessor System-on-Chip (MP-SoC) is a crucial step to optimize performance, energy and memory constraints at the same time. The problem is formu...
Heikki Orsila, Tero Kangas, Erno Salminen, Timo D....
MICCAI
2009
Springer
16 years 1 months ago
Optimal Transseptal Puncture Location for Robot-Assisted Left Atrial Catheter Ablation
The preferred method of treatment for Atrial Fibrillation (AF) is by catheter ablation wherein a catheter is guided into the left atrium through a transseptal puncture. However, th...
Jagadeesan Jayender, Rajni V. Patel, Gregory F. ...