Sciweavers

7890 search results - page 248 / 1578
» The MathSAT 3 System
Sort
View
EMSOFT
2010
Springer
15 years 4 months ago
Energy-aware packet and task co-scheduling for embedded systems
A crucial objective in battery operated embedded systems is to work under the minimal power consumption that provides a desired level of performance. Dynamic Voltage Scaling (DVS)...
Luca Santinelli, Mauro Marinoni, Francesco Prosper...
MOC
2010
15 years 1 months ago
Approximation of stationary statistical properties of dissipative dynamical systems: Time discretization
We consider temporal approximation of stationary statistical properties of dissipative complex dynamical systems. We demonstrate that stationary statistical properties of the time...
Xiaoming Wang
ICDE
2011
IEEE
225views Database» more  ICDE 2011»
14 years 10 months ago
Methods for boosting recommender systems
—Online shopping has grown rapidly over the past few years. Besides the convenience of shopping directly from ones home, an important advantage of e-commerce is the great variety...
Rubi Boim, Tova Milo
AAAI
2012
13 years 9 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,...
INFOCOM
1998
IEEE
15 years 10 months ago
Adaptive Resource Management for Flow-Based IP/ATM Hybrid Switching Systems
This paper addresses a fundamental problem in resource management for flow-based hybrid switching systems. Such systems aim at efficient transport of layer-3 connectionless IP traf...
Hao Che, San-qi Li, Arthur Y. M. Lin