2585 search results - page 335 / 517 » Automating Coherent Logic |
162
click to vote
ICDIM
2007
IEEE
16 years 26 days ago
2007
IEEE
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors ...
181
click to vote
CADE
2004
Springer
15 years 12 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
156
click to vote
IJOE
2008
15 years 6 months ago
2008
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors a...
161
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Logic simulation is a critical component of the design tool flow in modern hardware development efforts. It is used widely ? from high-level descriptions down to gate-level ones ?...
191
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Power optimization is of growing importance for FPGAs in nanometer technologies. Considering dual-Vdd technique, we show that configurable power supply is required to obtain a sat...