Sciweavers

972 search results - page 130 / 195
» Reasoning with Conditional Time-Intervals
Sort
View
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
14 years 2 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
BIBM
2008
IEEE
108views Bioinformatics» more  BIBM 2008»
14 years 2 months ago
Systematic Evaluation of Scaling Methods for Gene Expression Data
Even after an experimentally prepared gene expression data set has been pre-processed to account for variations in the microarray technology, there may be inconsistencies between ...
Gaurav Pandey, Lakshmi Naarayanan Ramakrishnan, Mi...
ICC
2008
IEEE
127views Communications» more  ICC 2008»
14 years 2 months ago
On the Devolution of Large-Scale Sensor Networks in the Presence of Random Failures
—In battery-constrained large-scale sensor networks, nodes are prone to random failures due to various reasons, such as energy depletion and hostile environment. Random failures ...
Fei Xing, Wenye Wang
ICC
2008
IEEE
118views Communications» more  ICC 2008»
14 years 2 months ago
Video TFRC
— TCP-friendly rate control (TFRC) is a congestion control technique that trade-offs responsiveness to the network conditions for a smoother throughput variation. We take advanta...
Evan Tan, Jing Chen, Sebastien Ardon, Emmanuel Loc...
IPPS
2008
IEEE
14 years 2 months ago
Evaluation of dynamic scheduling methods in simulations of storm-time ion acceleration
In this paper we investigate the applicability of classic dynamic loop scheduling methods on a numerical simulation code that calculates the trajectories of charged particles in t...
Ioannis Riakiotakis, Georgios I. Goumas, Nectarios...