Sciweavers

672 search results - page 23 / 135
» A compiler-based communication analysis approach for multipr...
Sort
View
ISTA
2003
13 years 10 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...
SAFECOMP
2010
Springer
13 years 7 months ago
Reliability Analysis of Safety-Related Communication Architectures
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
Oliver Schulz, Jan Peleska
ITSSA
2006
76views more  ITSSA 2006»
13 years 8 months ago
Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
Olga Ormandjieva, Heng Kuang, Emil Vassev
DAGM
2006
Springer
13 years 10 months ago
A Multiple Graph Cut Based Approach for Stereo Analysis
This paper presents an optimization framework for the 3D reconstruction of the surfaces from stereo image pairs. The method is based on employing popular graph cut methods under th...
Ulas Vural, Yusuf Sinan Akgul
CODES
2006
IEEE
14 years 2 months ago
System-level power-performance trade-offs in bus matrix communication architecture synthesis
System-on-chip communication architectures have a significant impact on the performance and power consumption of modern multiprocessor system-on-chips (MPSoCs). However, customiza...
Sudeep Pasricha, Young-Hwan Park, Fadi J. Kurdahi,...