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»
15 years 6 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
87
Voted
AUTOMATICA
2010
72views more  AUTOMATICA 2010»
15 years 5 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»
15 years 5 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»
16 years 1 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
178
Voted
AAAI
2012
13 years 7 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,...