Sciweavers

4345 search results - page 344 / 869
» Temporal Constraint Networks
Sort
View
MIMI
2007
Springer
16 years 28 days ago
Gender Effect on Functional Networks in Resting Brain
Previous studies have witnessed that complex brain networks have the properties of high global and local efficiency. In this study, we investigated the gender effect on brain funct...
Liang Wang, Chaozhe Zhu, Yong He, Qiuhai Zhong, Yu...
209
Voted
IPPS
2006
IEEE
16 years 24 days ago
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
Peter Csaba Ölveczky, Stian Thorvaldsen
ISCA
2005
IEEE
121views Hardware» more  ISCA 2005»
16 years 11 days ago
Direct Cache Access for High Bandwidth Network I/O
Recent I/O technologies such as PCI-Express and 10Gb Ethernet enable unprecedented levels of I/O bandwidths in mainstream platforms. However, in traditional architectures, memory ...
Ram Huggahalli, Ravi R. Iyer, Scott Tetrick
ISSTA
2000
ACM
15 years 11 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
DCOSS
2007
Springer
15 years 10 months ago
Energy-Efficient Data Acquisition Using a Distributed and Self-organizing Scheduling Algorithm for Wireless Sensor Networks
Abstract. Wireless sensor networks are often densely deployed for environmental monitoring applications. Collecting raw data from these networks can lead to excessive energy consum...
Supriyo Chatterjea, Tim Nieberg, Yang Zhang, Paul ...