Sciweavers

4482 search results - page 309 / 897
» The Crowdsourcing Design Space
Sort
View
FUIN
2007
90views more  FUIN 2007»
15 years 6 months ago
A Resolution Calculus with Shared Literals
We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Direct...
Nicolas Peltier
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 5 months ago
Fast Self-Stabilizing Minimum Spanning Tree Construction
We present a novel self-stabilizing algorithm for minimum spanning tree (MST) construction. The space complexity of our solution is O(log2 n) bits and it converges in O(n2 ) round...
Lélia Blin, Shlomi Dolev, Maria Potop-Butuc...
FPL
2007
Springer
137views Hardware» more  FPL 2007»
16 years 28 days ago
Multi-processor System-level Synthesis for Multiple Applications on Platform FPGA
Multiprocessor systems-on-chip (MPSoC) are being developed in increasing numbers to support the high number of applications running on modern embedded systems. Designing and progr...
Akash Kumar, Shakith Fernando, Yajun Ha, Bart Mesm...
ACMDIS
2008
ACM
15 years 8 months ago
Zebra: exploring users' engagement in fieldwork
Participatory Design is a design approach that provides a popular set of techniques for designing interactive systems in collaboration with end-users. Technology probes are one of...
Yann Riche, Matthew Simpson, Stephen Viller
DAC
2001
ACM
16 years 7 months ago
A Quick Safari Through the Reconfiguration Jungle
Cost effective systems use specialization to optimize factors such as power consumption, processing throughput, flexibility or combinations thereof. Reconfigurable systems obtain ...
Patrick Schaumont, Ingrid Verbauwhede, Kurt Keutze...