393 search results - page 9 / 79 » FIFO Communication Models in Operating Systems for Reconfigu... |
176
click to vote
IPSN
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
218
click to vote
EMSOFT
2004
Springer
16 years 7 days ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
160
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
176
click to vote
ASAP
2005
IEEE
16 years 14 days ago
2005
IEEE
It is widely known that parallel operation execution in multiprocessor systems generates a respective increase in memory accesses. Since the memory and bus subsystems provide a li...
200
click to vote
MIDDLEWARE
2005
Springer
16 years 10 days ago
2005
Springer
Group management service plays a key role in wireless sensor networks (WSNs) as it provides support to high level middleware services such as object tracking, security, fault-tole...