Sciweavers

350 search results - page 45 / 70
» Predictability in Real-time System Development (2) A Case St...
Sort
View
IPCO
2008
114views Optimization» more  IPCO 2008»
13 years 9 months ago
The Stochastic Machine Replenishment Problem
We study the stochastic machine replenishment problem, which is a canonical special case of closed multiclass queuing systems in Markov decision theory. The problem models the sche...
Kamesh Munagala, Peng Shi
AUTOMATICA
2010
72views more  AUTOMATICA 2010»
13 years 7 months ago
A sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs
In this paper, an original result in terms of a sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs is give...
Carine Jauberthie, Louise Travé-Massuy&egra...
BMCBI
2008
83views more  BMCBI 2008»
13 years 7 months ago
Prioritization of gene regulatory interactions from large-scale modules in yeast
Background: The identification of groups of co-regulated genes and their transcription factors, called transcriptional modules, has been a focus of many studies about biological s...
Ho-Joon Lee, Thomas Manke, Ricardo Bringas, Martin...
ICCAD
2003
IEEE
158views Hardware» more  ICCAD 2003»
14 years 4 months ago
Approaching the Maximum Energy Saving on Embedded Systems with Multiple Voltages
Dynamic voltage scaling (DVS) is arguably the most effective energy reduction technique. The multiple-voltage DVS systems, which can operate only at pre-determined discrete voltag...
Shaoxiong Hua, Gang Qu
AAAI
2012
11 years 10 months ago
Learning Behavior Models for Hybrid Timed Systems
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
Oliver Niggemann, Benno Stein, Asmir Vodencarevic,...