Sciweavers

4041 search results - page 205 / 809
» time 2009
Sort
View
PDP
2009
IEEE
16 years 1 months ago
Two Formal Semantics of a Subset of the Paderborn University BSPlib
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...
Frédéric Gava, Jean Fortin
STACS
2009
Springer
16 years 1 months ago
Compressed Representations of Permutations, and Applications
We explore various techniques to compress a permutation π over n integers, taking advantage of ordered subsequences in π, while supporting its application π(i) and the applicat...
Jérémy Barbay, Gonzalo Navarro
DATE
2009
IEEE
78views Hardware» more  DATE 2009»
16 years 1 months ago
QC-Fill: An X-Fill method for quick-and-cool scan test
— In this paper, we present an X-Fill (QC-Fill) method for not only slashing the test time but also reducing the test power (including both capture power and shifting power). QC-...
Chao-Wen Tzeng, Shi-Yu Huang
ICALT
2009
IEEE
16 years 1 months ago
Towards a Flexible Intelligent Tutoring System for Argumentation
Supporting students in the acquisition of argumentation skills is an important goal of educational technology. However, there has not been much work done towards developing generi...
Frank Loll, Niels Pinkwart, Oliver Scheuer, Bruce ...
ICASSP
2009
IEEE
16 years 1 months ago
Interval consensus: From quantized gossip to voting
We design distributed and quantized average consensus algorithms on arbitrary connected networks. By construction, quantized algorithms cannot produce a real, analog average. Inst...
Florence Bénézit, Patrick Thiran, Ma...