37217 search results - page 7442 / 7444 » or 2010 |
ICTAC
2010
Springer
13 years 7 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
This is a supplementary document for explaining what we could not contain in the main paper. I. BASIC FUNCTIONS AND NOTATIONS In this section, we first define some useful functi...
JCT
2010
13 years 7 months ago
2010
A linear equation L is called k-regular if every k-coloring of the positive integers contains a monochromatic solution to L. Richard Rado conjectured that for every positive intege...
JGT
2010
13 years 7 months ago
2010
Let G(V, E) be a simple, undirected graph where V is the set of vertices and E is the set of edges. A b-dimensional cube is a Cartesian product I1 × I2 × · · · × Ib, where ea...
JSYML
2010
13 years 7 months ago
2010
By taking a closer look at the construction of an Ackermann function we see that between any primitive recursive degree and its Ackermann modification there is a dense chain of p...