Sciweavers

8600 search results - page 429 / 1720
» Measuring with Timed Patterns
Sort
View
CADE
2008
Springer
16 years 5 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
ADHOCNETS
2009
Springer
15 years 11 months ago
Oxybuoy: Constructing a Real-Time Inexpensive Hypoxia Monitoring Platform
We present a low-cost sensor buoy designed for unattended dissolved oxygen measurement in aquatic environment. We describe the buoy’s architectural design and three experiments ...
Rizal Mohd Nor, Mikhail Nesterenko, Peter Lavrenty...
DATE
2008
IEEE
115views Hardware» more  DATE 2008»
15 years 11 months ago
Improving the Efficiency of Run Time Reconfigurable Devices by Configuration Locking
Run-time reconfigurable logic is a very attractive alterative in the design of SoC. However, configuration overhead can largely decrease the system performance. In this work, we p...
Yang Qu, Juha-Pekka Soininen, Jari Nurmi
IPPS
2007
IEEE
15 years 11 months ago
A Study of Publish/Subscribe Systems for Real-Time Grid Monitoring
- Monitoring and controlling a large number of geographically distributed scientific instruments is a challenging task. Some operations on these instruments require real-time (or q...
Chenxi Huang, Peter R. Hobson, Gareth A. Taylor, P...
IPPS
2007
IEEE
15 years 11 months ago
A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
Paolo Pagano, Prashant Batra, Giuseppe Lipari