672 search results - page 26 / 135 » A compiler-based communication analysis approach for multipr... |
DAGSTUHL
2006
13 years 10 months ago
2006
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
HPCA
2006
IEEE
14 years 9 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
DIGITALCITIES
2001
Springer
14 years 1 months ago
2001
Springer
This paper investigates the concept of digital city. First, a functional analysis of a digital city is made in the light of the modern study of urbanism; similarities between the v...
MOC
2002
13 years 8 months ago
2002
Abstract. We analyze the convergence rate of an asynchronous space decomposition method for constrained convex minimization in a reflexive Banach space. This method includes as spe...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Existing work on programmable self assembly has focused on deterministic performance guarantees--stability of desirable states. In particular, for any acyclic target graph a binary...