Sciweavers

6381 search results - page 253 / 1277
» Alternative Implementation of the C
Sort
View
JFP
2002
116views more  JFP 2002»
15 years 7 months ago
Recursive subtyping revealed
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they...
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pi...
DAC
2006
ACM
15 years 9 months ago
A fast HW/SW FPGA-based thermal emulation framework for multi-processor system-on-chip
With the growing complexity in consumer embedded products and the improvements in process technology, Multi-Processor SystemOn-Chip (MPSoC) architectures have become widespread. T...
David Atienza, Pablo Garcia Del Valle, Giacomo Pac...
ICASSP
2009
IEEE
16 years 2 months ago
Jitter compensation in sampling via polynomial least squares estimation
Sampling error due to jitter, or noise in the sample times, affects the precision of analog-to-digital converters in a significant, nonlinear fashion. In this paper, a polynomial...
Daniel S. Weller, Vivek K. Goyal
WDAG
2009
Springer
117views Algorithms» more  WDAG 2009»
16 years 1 months ago
Elastic Transactions
This paper presents elastic transactions, a variant of the transactional model. Upon conflict detection, an elastic transaction might drop what it did so far within a separate tra...
Pascal Felber, Vincent Gramoli, Rachid Guerraoui
WOWMOM
2009
ACM
142views Multimedia» more  WOWMOM 2009»
16 years 1 months ago
Securing wireless communication with implanted medical devices using reciprocal carrier-phase quantization
Securing wireless communication with resourceconstrained implanted medical devices is considered. A method for refreshing symmetric encryption keys by reciprocal quantization of t...
Gill R. Tsouri