Sciweavers

329 search results - page 23 / 66
» SLX: the X is for extensibility
Sort
View
DAC
2008
ACM
14 years 9 months ago
Run-time instruction set selection in a transmutable embedded processor
We are presenting a new concept of an application-specific processor that is capable of transmuting its instruction set according to non-predictive application behavior during run...
Jörg Henkel, Lars Bauer, Muhammad Shafique
KDD
2009
ACM
193views Data Mining» more  KDD 2009»
14 years 8 months ago
Probabilistic frequent itemset mining in uncertain databases
Probabilistic frequent itemset mining in uncertain transaction databases semantically and computationally differs from traditional techniques applied to standard "certain&quo...
Andreas Züfle, Florian Verhein, Hans-Peter Kr...
ICFP
2003
ACM
14 years 7 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
MFCS
2009
Springer
14 years 2 months ago
Future-Looking Logics on Data Words and Trees
In a data word or a data tree each position carries a label from a finite alphabet and a data value from an infinite domain. Over data words we consider the logic LTL↓ 1(F), th...
Diego Figueira, Luc Segoufin
ISCAS
2008
IEEE
120views Hardware» more  ISCAS 2008»
14 years 2 months ago
A hybrid CMOS APS pixel for wide-dynamic range imaging applications
— In this paper, a new hybrid photodiode-photogate (HPDPG) CMOS APS pixel for high-dynamic range imaging applications is presented. The HPDPG pixel composes of a biased photogate...
Suat U. Ay