989 search results - page 23 / 198 » Dynamic Symmetry Reduction |
FASE
2010
Springer
14 years 4 months ago
2010
Springer
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
DAC
2008
ACM
14 years 11 months ago
2008
ACM
Today, embedded processors are expected to be able to run complex, algorithm-heavy applications that were originally designed and coded for general-purpose processors. As a result...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
Reducing power dissipation is one of the most principle subjects in VLSI design today. Scaling causes subthreshold leakage currents to become a large component of total power diss...
SDM
2012
SIAM
12 years 7 days ago
2012
SIAM
To date, many active learning techniques have been developed for acquiring labels when training data is limited. However, an important aspect of the problem has often been neglect...
CAL
2004
13 years 9 months ago
2004
We compare techniques that dynamically scale the voltage of individual network links to reduce power consumption with an approach in which all links in the network are set to the s...