1155 search results - page 81 / 231 » Computer aided analysis and design of power transformers |
162
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Mobile robots can be easily equipped with numerous sensors which can aid in the tasks of localization and ego-motion estimation. Two such examples are Inertial Measurem...
129
Voted
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
141
click to vote
HASKELL
2009
ACM
16 years 14 days ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
139
click to vote
GLVLSI
2009
IEEE
16 years 22 days ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
161
click to vote
IPPS
2007
IEEE
16 years 8 days ago
2007
IEEE
The rapid revolution in microprocessor chip architecture due to multicore technology is presenting unprecedented challenges to the application developers as well as system softwar...