7796 search results - page 381 / 1560 » On Generalized Schur Numbers |
227
click to vote
SOSP
2005
ACM
16 years 4 months ago
2005
ACM
A fault-scalable service can be configured to tolerate increasing numbers of faults without significant decreases in performance. The Query/Update (Q/U) protocol is a new tool t...
179
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
A large number of the MAC protocols proposed for establishing wireless sensor networks are based on the 802.11 standard. The trade-off in these protocols is the control packet ov...
219
click to vote
ISPD
2009
ACM
16 years 2 months ago
2009
ACM
Several approaches to post-silicon adaptation require feedback from a replica of the nominal critical path, whose variations are intended to reflect those of the entire circuit a...
276
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
197
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...