Sciweavers

950 search results - page 41 / 190
» presence 2008
Sort
View
ISQED
2008
IEEE
117views Hardware» more  ISQED 2008»
15 years 4 months ago
A Basis for Formal Robustness Checking
Correct input/output behavior of circuits in presence of internal malfunctions becomes more and more important. But reliable and efficient methods to measure this robustness are ...
Görschwin Fey, Rolf Drechsler
74
Voted
KBSE
2008
IEEE
15 years 4 months ago
MTSA: The Modal Transition System Analyser
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
Nicolás D'Ippolito, Dario Fischbein, Marsha...
NOMS
2008
IEEE
117views Communications» more  NOMS 2008»
15 years 4 months ago
Application of adaptive probing for fault diagnosis in computer networks
— This dissertation presents an adaptive probing based tool for fault diagnosis in computer networks by addressing the problems of probe station selection and probe selection. We...
Maitreya Natu, Adarshpal S. Sethi
CCS
2008
ACM
14 years 11 months ago
Private combinatorial group testing
Combinatorial group testing, given a set C of individuals ("customers"), consists of applying group tests on subsets of C for the purpose of identifying which members of...
Mikhail J. Atallah, Keith B. Frikken, Marina Blant...
CDC
2008
IEEE
116views Control Systems» more  CDC 2008»
14 years 9 months ago
On external semi-global stochastic stabilization of a double integrator with input saturation
This paper considers external semi-global stochastic stabilization for linear plants with saturating actuators, driven by a stochastic external disturbance, and having random Gauss...
Anton A. Stoorvogel, Ali Saberi