Sciweavers

2256 search results - page 386 / 452
» The Modeling for Dynamic Power Management of Embedded System...
Sort
View
IM
2007
13 years 10 months ago
Hierarchically Federated Registration and Lookup within the perfSONAR Framework
A widely-distributed network monitoring system requires a scalable discovery mechanism. The “Lookup Service” component of the perfSONAR framework is able to manage component r...
Jason Zurawski, Jeff W. Boote, Eric L. Boyd, Macie...
IROS
2009
IEEE
199views Robotics» more  IROS 2009»
14 years 3 months ago
Multiswarm Particle Filter for vision based SLAM
Abstract— Particle Filters have been widely used as a powerful optimization tool for nonlinear, non-Gaussian dynamic models such as Simultaneous Localization and Mapping (SLAM) a...
Hee Seok Lee, Kyoung Mu Lee
HPCA
2008
IEEE
14 years 9 months ago
Automated microprocessor stressmark generation
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
Ajay M. Joshi, Lieven Eeckhout, Lizy Kurian John, ...
FM
2006
Springer
146views Formal Methods» more  FM 2006»
14 years 13 days ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
BMCBI
2008
154views more  BMCBI 2008»
13 years 9 months ago
Bayesian models and meta analysis for multiple tissue gene expression data following corticosteroid administration
Background: This paper addresses key biological problems and statistical issues in the analysis of large gene expression data sets that describe systemic temporal response cascade...
Yulan Liang, Arpad Kelemen