1541 search results - page 200 / 309 » Tools and Techniques for Model Checking Networked Programs |
138
click to vote
IPSN
2010
Springer
15 years 8 months ago
2010
Springer
The robust operation of many sensor network applications depends on deploying relays to ensure wireless coverage. Radio mapping aims to predict network coverage based on a small n...
129
click to vote
IWMM
2009
Springer
15 years 11 months ago
2009
Springer
Good spatial locality alleviates both the latency and bandwidth problem of memory by boosting the effect of prefetching and improving the utilization of cache. However, convention...
137
click to vote
ATMOS
2010
15 years 2 months ago
2010
Traditionally, the coordination of multiple traffic signals and the traffic assignment problem in an urban street network are considered as two separate optimization problems. How...
177
click to vote
CEC
2010
IEEE
14 years 11 months ago
2010
IEEE
High-throughput analytical techniques such as nuclear magnetic resonance, protein kinase phosphorylation, and mass spectroscopic methods generate time dense profiles of metabolites...
124
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Spreadsheets have grown up and became very powerful and easy to use tools in applying analytical techniques for solving business problems. Operations managers, production managers...