Sciweavers

1529 search results - page 96 / 306
» Power-aware operating systems for interactive systems
Sort
View
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 5 months ago
Dynamic and Transparent Analysis of Commodity Production Systems
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
Aristide Fattori, Roberto Paleari, Lorenzo Martign...
GECCO
2004
Springer
15 years 10 months ago
Limit Cycle Prediction in Multivariable Nonlinear Systems Using Genetic Algorithms
Abstract. This paper presents an intelligent method based on multiuobjective genetic algorithm (MOGA) for prediction of limit cycle in multivariable nonlinear systems. First we add...
Farzan Rashidi, Mehran Rashidi
ICFEM
1997
Springer
15 years 9 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ANSS
2001
IEEE
15 years 8 months ago
Simulation-Based Engineering of Complex Adaptive Systems Using a Classifier Block
A Complex Adaptive System (CAS) is a network of communicating, intelligent agents where each agent adapts its behavior in order to collaborate with other agents to achieve overall...
John R. Clymer, David J. Chen
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
15 years 7 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...