3804 search results - page 657 / 761 » interactions 2008 |
169
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We study through simulation the performance of two MANET routing algorithms in a realistic urban environment. The two algorithms, AODV and AntHocNet, are representative o...
162
click to vote
APGV
2008
ACM
15 years 8 months ago
2008
ACM
simulations compare to similar measurements done in more abstract settings. We find that participant tolerance for certain types of errors is significantly higher in a realistic sn...
188
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
191
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
149
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Increasing demand for power-efficient, high-performance computing requires tuning applications and/or the underlying hardware to improve the mapping between workload heterogeneity...