Sciweavers

3288 search results - page 81 / 658
» Feed-links for network extensions
Sort
View
TODAES
2008
47views more  TODAES 2008»
15 years 6 months ago
A tool for automatic detection of deadlock in wormhole networks on chip
We present an extension of Duato's necessary and sufficient condition a routing function must satisfy in order to be deadlock-free, to support environment constraints inducing...
Sami Taktak, Jean Lou Desbarbieux, Emmanuelle Encr...
GLOBECOM
2008
IEEE
16 years 24 days ago
Distributed Target Tracking with Imperfect Binary Sensor Networks
—We study target tracking with wireless binary sensor networks, in which each sensor can return only 1-bit information regarding target’s presence or absence in its sending ran...
Zijian Wang, Eyuphan Bulut, Boleslaw K. Szymanski
ETFA
2005
IEEE
15 years 12 months ago
RTnet - a flexible hard real-time networking framework
In this paper, the Open Source project RTnet is presented. RTnet provides a customisable and extensible framework for hard real-time communication over Ethernet and other transpor...
J. Kiszka, B. Wagner
ICCD
2000
IEEE
106views Hardware» more  ICCD 2000»
15 years 10 months ago
Fast Subword Permutation Instructions Using Omega and Flip Network Stages
This paper proposes a new way of efficiently doing arbitrary ¢ -bit permutations in programmable processors modeled on the theory of omega and flip networks. The new omflip ins...
Xiao Yang, Ruby B. Lee
SNPD
2008
15 years 7 months ago
Tools and Techniques for Model Checking Networked Programs
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...