Sciweavers

675 search results - page 60 / 135
» dlib C Library
Sort
View
DM
2008
100views more  DM 2008»
15 years 6 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
16 years 24 days 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»
16 years 19 days 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»
16 years 2 days 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
15 years 11 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