Sciweavers

752 search results - page 54 / 151
» Finite-State Modeling, Analysis and Testing of System Vulner...
Sort
View
CEC
2007
IEEE
15 years 7 months ago
A closed loop stability analysis and parameter selection of the Particle Swarm Optimization dynamics for faster convergence
This paper presents an alternative formulation of the PSO dynamics by a closed loop control system, and analyzes the stability behavior of the system by using Jury's test and ...
Nayan R. Samal, Amit Konar, Swagatam Das, Ajith Ab...
DATE
2006
IEEE
115views Hardware» more  DATE 2006»
15 years 9 months ago
Optimal periodic testing of intermittent faults in embedded pipelined processor applications
Today’s nanometer technology trends have a very negative impact on the reliability of semiconductor products. Intermittent faults constitute the largest part of reliability fail...
Nektarios Kranitis, Andreas Merentitis, N. Laoutar...
JUCS
2006
85views more  JUCS 2006»
15 years 3 months ago
A Pervasive Multimodal Tele-Home Healthcare System
: This paper proposes a Human-centered Pervasive Computing System Model (HPC), a Layered Architectural Analysis and Design Method (LAAD) and a Waterfall Prototyping Process Model (...
Zhenjiang Miao, Baozong Yuan, Mengsun Yu
ICTAC
2010
Springer
15 years 1 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
128
Voted
TROB
2002
126views more  TROB 2002»
15 years 3 months ago
Modeling and controllability for a class of hybrid mechanical systems
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
Francesco Bullo, Milos Zefran