—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 ...
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...
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...
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...