5015 search results - page 763 / 1003 » Model Checking a Path |
171
click to vote
ISVC
2005
Springer
16 years 3 days ago
2005
Springer
This note describes a web-based tool for storm analysis using multiple data sets developed for use in research of thunderstorms and forecasting applications. The tool was developed...
190
click to vote
PATMOS
2005
Springer
16 years 2 days ago
2005
Springer
Modern embedded processors use small and simple branch predictors to improve performance. Using complex and accurate branch predictors, while desirable, is not possible as such pre...
180
click to vote
PCI
2005
Springer
16 years 2 days ago
2005
Springer
The increasing popularity of all-optical networks has led to extensive research on the routing and wavelength assignment problem, also termed as the Routing and Path Coloring probl...
139
click to vote
STACS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We consider variations of two well-known centrality measures, betweenness and closeness, with a different model of information spread. Rather than along shortest paths o...
167
click to vote
WEA
2005
Springer
16 years 2 days ago
2005
Springer
We study queueing strategies in the adversarial queueing model. Rather than discussing individual prominent queueing strategies we tackle the issue on a general level and analyze c...