Sciweavers

5054 search results - page 483 / 1011
» simulation 2008
Sort
View
CADE
2008
Springer
16 years 7 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
MOBIHOC
2008
ACM
16 years 6 months ago
Finding popular categories for RFID tags
As RFID tags are increasingly attached to everyday items, it quickly becomes impractical to collect data from every tag in order to extract useful information. In this paper, we c...
Bo Sheng, Chiu Chiang Tan, Qun Li, Weizhen Mao
EWSN
2008
Springer
16 years 6 months ago
Typhoon: A Reliable Data Dissemination Protocol for Wireless Sensor Networks
We present Typhoon, a protocol designed to reliably deliver large objects to all the nodes of a wireless sensor network (WSN). Typhoon uses a combination of spatially-tuned timers,...
Chieh-Jan Mike Liang, Razvan Musaloiu-Elefteri, An...
EWSN
2008
Springer
16 years 6 months ago
Que: A Sensor Network Rapid Prototyping Tool with Application Experiences from a Data Center Deployment
Several considerable impediments stand in the way of sensor network prototype applications that wish to realize sustained deployments. These are: scale, longevity, data of interest...
David Chu, Feng Zhao, Jie Liu, Michel Goraczko
DCC
2008
IEEE
16 years 6 months ago
An improved list decoding algorithm for the second order Reed-Muller codes and its applications
We propose an algorithm which is an improved version of the Kabatiansky-Tavernier list decoding algorithm for the second order binary Reed-Muller code RM(2, m), of length n = 2m , ...
Rafaël Fourquet, Cédric Tavernier