Sciweavers

713 search results - page 52 / 143
» Fault Analysis of a Distributed Flight Control System
Sort
View
123
Voted
CSL
2010
Springer
15 years 3 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
170
Voted
LSGRID
2004
Springer
15 years 8 months ago
Distributed Cell Biology Simulations with E-Cell System
Many useful applications of simulation in computational cell biology, e.g. kinetic parameter estimation, Metabolic Control Analysis (MCA), and bifurcation analysis, require a large...
Masahiro Sugimoto, Kouichi Takahashi, Tomoya Kitay...
ICMCS
2006
IEEE
219views Multimedia» more  ICMCS 2006»
15 years 8 months ago
Analysis of Multi-User Congestion Control for Video Streaming Over Wireless Networks
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...
Xiaoqing Zhu, Bernd Girod
122
Voted
WSC
2007
15 years 4 months ago
Controlled sequential bifurcation for software reliability study
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
Jun Xu, Feng Yang, Hong Wan
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
15 years 8 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick