10072 search results - page 1937 / 2015 » Composition of Model Programs |
118
Voted
ICDCS
2010
IEEE
15 years 5 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
133
click to vote
BROADNETS
2004
IEEE
15 years 5 months ago
2004
IEEE
Channel-aware scheduling and link adaptation (LA) methods are widely considered to be crucial for realizing high data rates in wireless networks. Multi-carrier systems that spread...
124
click to vote
CC
2006
Springer
15 years 5 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
115
click to vote
WSC
2007
15 years 4 months ago
2007
This panel reflects upon their experiences as simulation professionals and shares their thoughts regarding elements of their simulation education that they have found most helpful...
129
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...