Sciweavers

2256 search results - page 179 / 452
» The Modeling for Dynamic Power Management of Embedded System...
Sort
View
DATE
2003
IEEE
116views Hardware» more  DATE 2003»
15 years 9 months ago
An Analytical Model for Predicting the Remaining Battery Capacity of Lithium-Ion Batteries
Predicting the residual energy of the battery source that powers a portable electronic device is quite important in designing and employing an effective dynamic power management p...
Peng Rong, Massoud Pedram
DSN
2006
IEEE
15 years 10 months ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
JUCS
2008
143views more  JUCS 2008»
15 years 4 months ago
Market Microstructure Patterns Powering Trading and Surveillance Agents
: Market Surveillance plays important mechanism roles in constructing market models. From data analysis perspective, we view it valuable for smart trading in designing legal and pr...
Longbing Cao, Yuming Ou
MOBIS
2008
15 years 5 months ago
Towards Simulation-supported Enterprise Architecture Management
Abstract: Enterprise architecture management is based on a holistic view on the enterprise addressing business and IT aspects in an integrated manner. EA management is a process to...
Sabine Buckl, Florian Matthes, Wolfgang Renz, Chri...
JTRES
2010
ACM
15 years 4 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens