Sciweavers

6153 search results - page 233 / 1231
» Modeling Cyclic Change
Sort
View
ASPDAC
2008
ACM
130views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Architecture-level thermal behavioral characterization for multi-core microprocessors
In this paper, we investigate a new architecture-level thermal characterization problem from behavioral modeling perspective to address the emerging thermal related analysis and o...
Duo Li, Sheldon X.-D. Tan, Murli Tirumala
VSTTE
2010
Springer
15 years 4 months ago
An Approach of Requirements Tracing in Formal Refinement
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
Michael Jastram, Stefan Hallerstede, Michael Leusc...
ECCV
2004
Springer
16 years 8 months ago
Adaptive Probabilistic Visual Tracking with Incremental Subspace Update
Visual tracking, in essence, deals with non-stationary data streams that change over time. While most existing algorithms are able to track objects well in controlled environments,...
David A. Ross, Jongwoo Lim, Ming-Hsuan Yang
IAT
2009
IEEE
16 years 1 months ago
Distributed Constraint Optimization for Large Teams of Mobile Sensing Agents
Abstract. A team of mobile sensors can be used for coverage of targets in different environments. The dynamic nature of such an application requires the team of agents to adjust th...
Roie Zivan, Robin Glinton, Katia P. Sycara
EDOC
2008
IEEE
16 years 1 months ago
Managing the Life Cycle of Access Rules in CEOSIS
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
Stefanie Rinderle-Ma, Manfred Reichert