Sciweavers

1030 search results - page 106 / 206
» Happenings
Sort
View
DATE
2002
IEEE
123views Hardware» more  DATE 2002»
15 years 4 months ago
False Path Elimination in Quasi-Static Scheduling
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
G. Arrigoni, L. Duchini, Claudio Passerone, Lucian...
LCN
2002
IEEE
15 years 4 months ago
Performance Analysis of Token-Based Fast TCP in Systems Supporting Large Windows
Since TCP can only detect congestion after packet losses have already happened, various forms of Fast TCP (FTCP) have been proposed to notify congestion early and avoid packet los...
Fei Peng, Victor C. M. Leung
AINA
2010
IEEE
15 years 4 months ago
Underground Wireless Communications for Monitoring of Drag Anchor Embedment Parameters: A Feasibility Study
—In the offshore engineering community, reliable deep-water anchor performance is critical for mooring floating platforms such as Mobile Offshore Drilling Units. In a typical in...
Alvin C. Valera, Hwee Pink Tan, Xiaoping Ma
KR
2010
Springer
15 years 4 months ago
The Temporal Logic of Token Causes
While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connectio...
Samantha Kleinberg, Bud Mishra
PKDD
2009
Springer
146views Data Mining» more  PKDD 2009»
15 years 3 months ago
Parallel Subspace Sampling for Particle Filtering in Dynamic Bayesian Networks
Monitoring the variables of real world dynamic systems is a difficult task due to their inherent complexity and uncertainty. Particle Filters (PF) perform that task, yielding prob...
Eva Besada-Portas, Sergey M. Plis, Jesús Ma...