2370 search results - page 465 / 474 » A Framework for the Simulation Experimentation Process |
141
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
170
Voted
LCN
2005
IEEE
15 years 10 months ago
2005
IEEE
— The problem of achieving fairness in the allocation of the bandwidth resource on a link shared by multiple flows of traffic has been extensively researched over the last deca...
125
click to vote
SENSYS
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents the Simple Packet Combining (SPaC) error-correction scheme for wireless sensor networks. Nodes buffer corrupt packets, and when two or more corrupt versions o...
164
click to vote
SIGCOMM
2005
ACM
15 years 10 months ago
2005
ACM
Achieving efficient and fair bandwidth allocation while minimizing packet loss in high bandwidth-delay product networks has long been a daunting challenge. Existing endto-end cong...
138
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Self-organization of brain areas in animals begins prenatally, evidently driven by spontaneously generated internal patterns. The neural structures continue to develop postnatally...