5473 search results - page 997 / 1095 » On the graph isomorphism problem |
107
Voted
CONCUR
2000
Springer
15 years 5 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 ...
121
Voted
ICPP
1999
IEEE
15 years 5 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,...
99
Voted
IPPS
1999
IEEE
15 years 5 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...
105
click to vote
ITC
1999
IEEE
15 years 5 months ago
1999
IEEE
A high-level built-in self-test (BIST) synthesis involves several tasks such as system register assignment, interconnection assignment, and BIST register assignment. Existing high...
121
Voted
ASPLOS
1998
ACM
15 years 5 months ago
1998
ACM
As the gap between memory and processor speeds continues to widen, cache efficiency is an increasingly important component of processor performance. Compiler techniques have been...