Sciweavers

4820 search results - page 428 / 964
» Implementing Signatures for C
Sort
View
110
Voted
ISCAS
2007
IEEE
165views Hardware» more  ISCAS 2007»
15 years 11 months ago
A 4-Bits Trimmed CMOS Bandgap Reference with an Improved Matching Modeling Design
—Component tolerances and mismatches due to process variations severely degrade the performance of bandgap reference (BGR) circuits. In this paper, we describe the design of a BG...
Juan Pablo Martinez Brito, Sergio Bampi, Hamilton ...
SBACPAD
2007
IEEE
130views Hardware» more  SBACPAD 2007»
15 years 11 months ago
Design of a Feasible On-Chip Interconnection Network for a Chip Multiprocessor (CMP)
In this paper, an adaptive wormhole router for a flexible on-chip interconnection network is proposed and implemented for a Chip-Multi Processor (CMP). It adopts a wormhole switc...
Seung Eun Lee, Jun Ho Bahn, Nader Bagherzadeh
SEMCO
2007
IEEE
15 years 11 months ago
Answering English Questions using Foreign-Language, Semi-Structured Sources
Despite continuing advances in machine translation technology, users who lack familiarity with particular foreign languages have no good way to find information in those languages...
Boris Katz, Gary C. Borchardt, Sue Felshin, Yuan K...
SMC
2007
IEEE
105views Control Systems» more  SMC 2007»
15 years 11 months ago
A software architecture for adaptive modular sensing systems
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...
Andrew C. Lyle, Michael D. Naish
TPHOL
2007
IEEE
15 years 11 months ago
Source-Level Proof Reconstruction for Interactive Theorem Proving
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
Lawrence C. Paulson, Kong Woei Susanto