Sciweavers

3161 search results - page 353 / 633
» Documenting framework behavior
Sort
View
ISQED
2009
IEEE
103views Hardware» more  ISQED 2009»
16 years 1 months ago
A systematic approach to modeling and analysis of transient faults in logic circuits
With technology scaling, the occurrence rate of not only single, but also multiple transients resulting from a single hit is increasing. In this work, we consider the effect of th...
Natasa Miskov-Zivanov, Diana Marculescu
SI3D
2009
ACM
16 years 1 months ago
Egocentric affordance fields in pedestrian steering
In this paper we propose a general framework for local pathplanning and steering that can be easily extended to perform highlevel behaviors. Our framework is based on the concept ...
Mubbasir Kapadia, Shawn Singh, William Hewlett, Pe...
ICONS
2009
IEEE
16 years 1 months ago
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
Zhe Chen, Gilles Motet
EDBT
2010
ACM
202views Database» more  EDBT 2010»
16 years 1 months ago
Querying trajectories using flexible patterns
The wide adaptation of GPS and cellular technologies has created many applications that collect and maintain large repositories of data in the form of trajectories. Previous work ...
Marcos R. Vieira, Petko Bakalov, Vassilis J. Tsotr...
ICAC
2007
IEEE
16 years 1 months ago
Approximation Modeling for the Online Performance Management of Distributed Computing Systems
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
Dara Kusic, Nagarajan Kandasamy, Guofei Jiang