Sciweavers

755 search results - page 137 / 151
» Sequential Diagnosis by Abstraction
Sort
View
TAPAS
2011
243views Algorithms» more  TAPAS 2011»
13 years 2 months ago
Speed Scaling for Energy and Performance with Instantaneous Parallelism
Abstract. We consider energy-performance tradeoff for scheduling parallel jobs on multiprocessors using dynamic speed scaling. The objective is to minimize the sum of energy consu...
Hongyang Sun, Yuxiong He, Wen-Jing Hsu
TCAD
2010
121views more  TCAD 2010»
13 years 2 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
ICDE
2011
IEEE
234views Database» more  ICDE 2011»
12 years 11 months ago
Massively parallel XML twig filtering using dynamic programming on FPGAs
Abstract— In recent years, XML-based Publish-Subscribe Systems have become popular due to the increased demand of timely event-notification. Users (or subscribers) pose complex ...
Roger Moussalli, Mariam Salloum, Walid A. Najjar, ...
MOC
2011
12 years 10 months ago
Calculating cyclotomic polynomials
Abstract. We present three algorithms to calculate Φn(z), the nth cyclotomic polynomial. The first algorithm calculates Φn(z) by a series of polynomial divisions, which we perfo...
Andrew Arnold, Michael B. Monagan
CRV
2011
IEEE
337views Robotics» more  CRV 2011»
12 years 7 months ago
Object Detection Using Principal Contour Fragments
Abstract—Contour features play an important role in object recognition. Psychological experiments have shown that maximum-curvature points are most distinctive along a contour [6...
Changhai Xu, Benjamin Kuipers