6740 search results - page 1250 / 1348 » An s -Hamiltonian Line Graph Problem |
130
Voted
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
162
Voted
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
We investigate the problem of using materialized views to answer SQL queries. We focus on modern decision-support queries, which involve joins, arithmetic operations and other (po...
136
Voted
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
150
Voted
ICPP
1999
IEEE
15 years 8 months ago
1999
IEEE
There has been much work recently on improving the locality performance of loop nests in scientific programs through the use of loop as well as data layout optimizations. However,...
119
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Multihop lightwave networks are becoming increasingly popular in optical networks. It is attractive to consider regular graphs as the logical topology for a multihop network, due t...