Sciweavers

9842 search results - page 245 / 1969
» Compositional timing analysis
Sort
View
TIT
2008
129views more  TIT 2008»
15 years 4 months ago
Serial Schedules for Belief-Propagation: Analysis of Convergence Time
Abstract--Low-Density Parity-Check (LDPC) codes are usually decoded by running an iterative belief-propagation algorithm over the factor graph of the code. In the traditional messa...
Jacob Goldberger, Haggai Kfir
JCP
2007
76views more  JCP 2007»
15 years 4 months ago
Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System
Jens Steiner, Matthias Hagner, Ursula Goltz
JCS
2007
69views more  JCS 2007»
15 years 4 months ago
Timed analysis of security protocols
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, An...
GEOINFORMATICA
2000
99views more  GEOINFORMATICA 2000»
15 years 4 months ago
GIS Software for Measuring Space-Time Accessibility in Transportation Planning and Analysis
: Transportation systems exist to improve individual accessibility. However, emerging applications of GIS in transportation (GIS-T) and intelligent transportation system (ITS) focu...
Harvey J. Miller, Yi-Hwa Wu
DT
2002
55views more  DT 2002»
15 years 4 months ago
Embedded Timing Analysis: A SoC Infrastructure
Sassan Tabatabaei, André Ivanov