Sciweavers

2594 search results - page 253 / 519
» Elements of a Theory of Simulation
Sort
View
JCP
2008
155views more  JCP 2008»
15 years 6 months ago
Algorithm to Optimize Code Size and Energy Consumption in Real Time Embedded System
Processor is an important computing element in portable battery operated real time embedded system and it consumes most of the battery energy. Energy consumption, processor memory ...
Santosh D. Chede, Kishore D. Kulat
MCS
2006
Springer
15 years 6 months ago
Three-phase immiscible displacement in heterogeneous petroleum reservoirs
We describe a fractional-step numerical procedure for the simulation of immiscible three-phase flow in heterogeneous porous media that takes into account capillary pressure and ap...
Eduardo Abreu, J. Douglas, Frederico Furtado, D. M...
PPL
2008
63views more  PPL 2008»
15 years 6 months ago
Using Hardware Multithreading to Overcome Broadcast/Reduction Latency in an Associative SIMD Processor
The latency of broadcast/reduction operations has a significant impact on the performance of SIMD processors. This is especially true for associative programs, which make extensiv...
Kevin Schaffer, Robert A. Walker
JOLLI
2002
141views more  JOLLI 2002»
15 years 5 months ago
Naming Worlds in Modal and Temporal Logic
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
Dov M. Gabbay, G. Malod
TVLSI
2002
121views more  TVLSI 2002»
15 years 5 months ago
On-chip decoupling capacitor optimization using architectural level prediction
Switching activity-generated power-supply grid-noise presents a major obstacle to the reduction of supply voltage in future generation semiconductor technologies. A popular techniq...
Mondira Deb Pant, Pankaj Pant, D. Scott Wills