8874 search results - page 397 / 1775 » A New Implementation of Automath |
134
click to vote
ICRA
2003
IEEE
16 years 4 days ago
2003
IEEE
― This paper describes a new docking system called Compliant-And-Self-Tightening (CAST) developed as an effective and efficient connector for joining and releasing modules of sel...
175
click to vote
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
This work presents a new switching mechanism to tolerate arbitrary faults in interconnection networks with a negligible implementation cost. Although our routing technique can be ...
179
click to vote
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
The detection of regulatory elements from a large set of regulatory regions is a challenging problem in computational genomics. However, computational methods to extract this biol...
175
click to vote
ISMVL
2003
IEEE
16 years 4 days ago
2003
IEEE
A new multiple-valued current-mode (MVCM) integrated circuit based on dynamic source-coupled logic (SCL) is proposed for low-power VLSI applications. The use of a precharge-evalua...
192
click to vote
DAC
2003
ACM
16 years 4 days ago
2003
ACM
A new methodology is presented to solve a strongly nonlinear circuit, characterized by Piece-Wise Linear (PWL) functions, symbolically and explicitly in terms of its circuit param...