Sciweavers

675 search results - page 60 / 135
» dlib C Library
Sort
View
DM
2008
100views more  DM 2008»
13 years 9 months ago
Adaptive group testing for consecutive positives
Motivated from an application to DNA library screening, Balding and Torney [1] and Colbourn [4] studied the following group testing for consecutive positives. Suppose Vn = {v1 v2 ...
Justie Su-tzu Juan, Gerard J. Chang
PDP
2009
IEEE
14 years 3 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
IROS
2009
IEEE
128views Robotics» more  IROS 2009»
14 years 3 months ago
LabRatTM: Miniature robot for students, researchers, and hobbyists
—LabRatTM is an autonomous, self-contained mobile robot kit with batteries, motors, two bumper whisker sensors, and three infrared proximity sensors that double as channels for &...
Paul Robinette, Ryan J. Meuth, Ryanne Dolan, Donal...
APCCAS
2006
IEEE
251views Hardware» more  APCCAS 2006»
14 years 3 months ago
Implementation of a H.264 decoder with Template-based Communication Refinement
We described an H.264 decoder implemented with our design methodology, in which a system function model of transaction level is first captured in SystemC and refined into RTL with ...
Sang-yong Yoon, Sanggyu Park, Soolk Chae
WCFLP
2005
ACM
14 years 2 months ago
Translating curry to haskell system demo
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
Bernd Braßel, Frank Huch