Sciweavers

5981 search results - page 88 / 1197
» time 2006
Sort
View
CG
2006
Springer
15 years 23 days ago
Optimal blurred segments decomposition of noisy shapes in linear time
Blurred segments were introduced by Debled-Rennesson et al. [Segmentation of discrete curves into fuzzy segments. In: 9th IWCIA, Electronic notes in discrete mathematics, vol. 12;...
Isabelle Debled-Rennesson, Fabien Feschet, Jocelyn...
134
Voted
ECRTS
2006
IEEE
15 years 6 months ago
The Feasibility Analysis of Multiprocessor Real-Time Systems
The multiprocessor scheduling of collections of real-time jobs is considered. Sufficient tests are derived for determining whether a given collection of jobs can be scheduled to m...
Sanjoy K. Baruah, Nathan Fisher
92
Voted
VTC
2006
IEEE
118views Communications» more  VTC 2006»
15 years 6 months ago
A Space-Time based Approach to Solving the Gain Asymmetry in MIMO ad hoc Networks
— The problem of gain asymmetry in MIMO ad-hoc networks is outlined and the solutions proposed in literature are surveyed. The protocol in [1] approach is analyzed and its delay ...
Francesco Rossetto, Michele Zorzi
85
Voted
CIT
2006
Springer
15 years 4 months ago
Performance of Sniff and Embark MAC Protocol for Real-Time Traffic in Wireless LANs
In this paper, we propose Sniff and Embark (SN E) protocol, a novel frame sniffing and token passing based approach to provide QoS in WLANs. Our simulations show that SN E perform...
Aditya Dhananjay, Debabrata Das
110
Voted
FM
2006
Springer
169views Formal Methods» more  FM 2006»
15 years 4 months ago
PSL Model Checking and Run-Time Verification Via Testers
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
Amir Pnueli, Aleksandr Zaks