8874 search results - page 9 / 1775 » A New Implementation of Automath |
MIC
2003
13 years 11 months ago
2003
A lumped heat transfer model and parameter estimation technique are proposed for determining key parameters associated with a heat flux Differential Scanning Calorimeter (DSC). T...
DATE
2007
IEEE
13 years 10 months ago
2007
IEEE
Multiple Input - Multiple Output (MIMO) wireless technology involves highly complex vectors and matrix computations which are directly related to increased power and area consumpt...
IJCSA
2006
13 years 9 months ago
2006
IJMI
2007
13 years 9 months ago
2007
ACSD
2009
IEEE
13 years 7 months ago
2009
IEEE
This paper describes a new target component set and synthesis scheme for the Balsa asynchronous hardware description language. This new scheme removes the reliance on precise hands...