Sciweavers

2947 search results - page 18 / 590
» The timely token protocol
Sort
View
APIN
2005
94views more  APIN 2005»
14 years 11 months ago
Extension of Petri Nets for Representing and Reasoning with Tasks with Imprecise Durations
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...
Stanislav Kurkovsky, Rasiah Loganantharaj
ICPR
2006
IEEE
15 years 5 months ago
Tensor Voting Accelerated by Graphics Processing Units (GPU)
This paper presents a new GPU-based tensor voting implementation which achieves significant performance improvement over the conventional CPU-based implementation. Although the t...
Changki Min, Gérard G. Medioni
CNSR
2004
IEEE
124views Communications» more  CNSR 2004»
15 years 3 months ago
Adaptive Filtering of SPAM
In this paper, we present a new spam filter which acts as an additional layer in the spam filtering process. This filter is based on what we call a representative vocabulary. Spam...
L. Pelletier, Jalal Almhana, Vartan Choulakian
WDAG
2007
Springer
73views Algorithms» more  WDAG 2007»
15 years 6 months ago
On Self-stabilizing Synchronous Actions Despite Byzantine Attacks
Consider a distributed network of n nodes that is connected to a global source of “beats”. All nodes receive the “beats” simultaneously, and operate in lock-step. A scheme ...
Danny Dolev, Ezra N. Hoch
ATVA
2006
Springer
131views Hardware» more  ATVA 2006»
15 years 3 months ago
Timed Unfoldings for Networks of Timed Automata
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynie...