178 search results - page 7 / 36 » Balance in Systems of Finite Sets with Applications |
CASES
2004
ACM
15 years 3 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
ICS
2005
Tsinghua U.
15 years 3 months ago
2005
Tsinghua U.
Supercomputer architects strive to maximize the performance of scientific applications. Unfortunately, the large, unwieldy nature of most scientific applications has lead to the...
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...
120
click to vote
ICDE
2012
IEEE
13 years 1 days ago
2012
IEEE
—MapReduce has emerged as a popular tool for distributed and scalable processing of massive data sets and is increasingly being used in e-science applications. Unfortunately, the...