575 search results - page 46 / 115 » Model Checking Restricted Sets of Timed Paths |
DFT
1999
IEEE
15 years 4 months ago
1999
IEEE
Fault identification capabilities are becoming increasingly important in modern designs, not only in support of design debugging methodologies, but also for the purpose of process...
ICN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...
STOC
2007
ACM
16 years 4 days ago
2007
ACM
Given as input a directed graph on N vertices and a set of source-destination pairs, we study the problem of routing the maximum possible number of source-destination pairs on pat...
105
click to vote
WEBDB
2000
Springer
15 years 3 months ago
2000
Springer
Rewriting queries using views is a powerful technique that has applications in data integration, data warehousing and query optimization. Query rewriting in relational databases i...
134
click to vote
TON
2010
14 years 6 months ago
2010
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...