2465 search results - page 151 / 493 » Automata on Linear Orderings |
184
click to vote
DATE
2005
IEEE
16 years 17 days ago
2005
IEEE
In signal integrity analysis, the joint effect of propagated noise through library cells, and of the noise injected on a quiet net by neighboring switching nets through coupling c...
181
Voted
LICS
2005
IEEE
16 years 16 days ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
185
click to vote
SIBGRAPI
2005
IEEE
16 years 16 days ago
2005
IEEE
Graph sub-isomorphism is a very common approach to solving pattern search problems, but this is a NP-complete problem. This way, it is necessary to invest in research of approxima...
200
Voted
ISSAC
2004
Springer
16 years 10 days ago
2004
Springer
The FFLAS project has established that exact matrix multiplication over finite fields can be performed at the speed of the highly optimized numerical BLAS routines. Since many a...
159
click to vote
ISAAC
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...