Sciweavers

2485 search results - page 113 / 497
» A Communicating Tree Model for Generating Network Applicatio...
Sort
View
ARCS
2008
Springer
13 years 11 months ago
Synthesis of Multi-dimensional High-Speed FIFOs for Out-of-Order Communication
Due to increasing complexity of modern real-time image processing applications, classical hardware development at register transfer level becomes more and more the bottleneck of te...
Joachim Keinert, Christian Haubelt, Jürgen Te...
ICSE
2009
IEEE-ACM
13 years 6 months ago
Slede: Framework for automatic verification of sensor network security protocol implementations
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
Youssef Hanna, Hridesh Rajan
CCR
2008
86views more  CCR 2008»
13 years 9 months ago
An Integrated Model of Traffic, Geography and Economy in the Internet
Modeling Internet growth is important both for understanding the current network and to predict and improve its future. To date, Internet models have typically attempted to explai...
Petter Holme, Josh Karlin, Stephanie Forrest
ENTCS
2008
83views more  ENTCS 2008»
13 years 9 months ago
Elastic Flow in an Application Specific Network-on-Chip
A Network-on-Chip (NoC) is increasingly needed to interconnect the large number and variety of Intellectual Property (IP) cells that make up a System-on-Chip (SoC). The network mu...
Daniel Gebhardt, Kenneth S. Stevens
MOBIQUITOUS
2008
IEEE
14 years 3 months ago
ScreenSpot: multidimensional resource discovery for distributed applications in smart spaces
The big challenge related to the contemporary research on ubiquitous and pervasive computing is that of seamless integration. For the next generation of ubiquitous and distributed...
Marko Jurmu, Sebastian Boring, Jukka Riekki