331 search results - page 45 / 67 » HOLCF: Higher Order Logic of Computable Functions |
106
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
—Architectural schemes for low-power calibration of oversampled analog-to-digital (A/D) systems are presented. Conventional full-rate least-mean squares (LMS) calibration has two...
129
Voted
GLVLSI
2007
IEEE
15 years 4 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
89
Voted
RTCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper addresses the problem of using the Location IDentifier (LID) as the domain value of the index for trajectories of RFID tags and proposes the solution for solving this p...
118
click to vote
ISQED
2005
IEEE
15 years 6 months ago
2005
IEEE
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
100
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...