6045 search results - page 130 / 1209 » Computable Linearizations of Well-partial-orderings |
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
— The increase in the demand for voice and data wireless services creates a need for a more efficient use of the available bandwidth. Current and future generations cellular sys...
LICS
2005
IEEE
14 years 1 months 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 ...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
ISSAC
2004
Springer
14 years 1 months 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...
JCC
2002
13 years 7 months ago
2002
: The evaluation of the electron density based similarity function scales quadratically with respect to the size of the molecules for simplified, atomic shell densities. Due to the...