Sciweavers

334 search results - page 38 / 67
» Time representations and mathematical models for process sch...
Sort
View
QEST
2010
IEEE
13 years 7 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
BMCBI
2010
110views more  BMCBI 2010»
13 years 9 months ago
A random effect multiplicative heteroscedastic model for bacterial growth
Background: Predictive microbiology develops mathematical models that can predict the growth rate of a microorganism population under a set of environmental conditions. Many prima...
Ricardo Cao, Mario Francisco-Fernández, Emi...
TPDS
2008
169views more  TPDS 2008»
13 years 9 months ago
Dynamic Resource Management in Energy Constrained Heterogeneous Computing Systems Using Voltage Scaling
An ad hoc grid is a wireless heterogeneous computing environment without a fixed infrastructure. This study considers wireless devices that have different capabilities, have limite...
Jong-Kook Kim, Howard Jay Siegel, Anthony A. Macie...
EAAI
2006
123views more  EAAI 2006»
13 years 9 months ago
Applications of artificial intelligence for optimization of compressor scheduling
This paper presents a feasibility study of evolutionary scheduling for gas pipeline operations. The problem is complex because of several constraints that must be taken into consi...
Hanh H. Nguyen, Christine W. Chan
SIGMETRICS
2004
ACM
206views Hardware» more  SIGMETRICS 2004»
14 years 2 months ago
Performance aware tasking for environmentally powered sensor networks
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...
Aman Kansal, Dunny Potter, Mani B. Srivastava