Sciweavers

6666 search results - page 121 / 1334
» Reconfigurable Computing for High Performance Networking App...
Sort
View
128
Voted
HYBRID
2003
Springer
15 years 7 months ago
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin
112
Voted
EWSN
2006
Springer
16 years 2 months ago
FlexCup: A Flexible and Efficient Code Update Mechanism for Sensor Networks
Abstract. The ability to update the program code installed on wireless sensor nodes plays an import role in the highly dynamic environments sensor networks are often deployed in. S...
Andreas Lachenmann, Daniel Minder, Kurt Rothermel,...
119
Voted
IPPS
2005
IEEE
15 years 8 months ago
A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems
The next generation of mobile systems with multimedia processing capabilities and wireless connectivity will be increasingly deployed in highly dynamic and distributed environment...
Shivajit Mohapatra, Radu Cornea, Hyunok Oh, Kyoung...
128
Voted
HPCN
1997
Springer
15 years 6 months ago
Ninf: A Network Based Information Library for Global World-Wide Computing Infrastructure
Ninf is an ongoing global network-wide computing infrastructure project which allows users to access computational resources including hardware, software and scientific data distri...
Mitsuhisa Sato, Hidemoto Nakada, Satoshi Sekiguchi...
132
Voted
MSS
2007
IEEE
129views Hardware» more  MSS 2007»
15 years 9 months ago
Cryptographic Security for a High-Performance Distributed File System
Storage systems are increasingly subject to attacks. Cryptographic file systems mitigate the danger of exposing data by using encryption and integrity protection methods and guar...
Roman Pletka, Christian Cachin