Sciweavers

1953 search results - page 59 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
128
Voted
FSTTCS
1998
Springer
15 years 7 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
118
Voted
ICRA
2005
IEEE
121views Robotics» more  ICRA 2005»
15 years 9 months ago
Modeling and Analysis of Beaconless and Beacon-Based Policies for a Swarm-Intelligent Inspection System
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
Nikolaus Correll, Alcherio Martinoli
111
Voted
SRDS
2000
IEEE
15 years 7 months ago
Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector
Validation of distributed systems using fault injection is difficult because of their inherent complexity, lack of a global clock, and lack of an easily accessible notion of a gl...
Ramesh Chandra, Michel Cukier, Ryan M. Lefever, Wi...
172
Voted
JMLR
2011
175views more  JMLR 2011»
14 years 10 months ago
Causal Time Series Analysis of Functional Magnetic Resonance Imaging Data
This review focuses on dynamic causal analysis of functional magnetic resonance (fMRI) data to infer brain connectivity from a time series analysis and dynamical systems perspecti...
Alard Roebroeck, Anil K. Seth, Pedro A. Valdes-Sos...
SC
2009
ACM
15 years 10 months ago
Dynamic task scheduling for linear algebra algorithms on distributed-memory multicore systems
This paper presents a dynamic task scheduling approach to executing dense linear algebra algorithms on multicore systems (either shared-memory or distributed-memory). We use a tas...
Fengguang Song, Asim YarKhan, Jack Dongarra