1727 search results - page 149 / 346 » A Technique for Large Automated Mechanism Design Problems |
169
click to vote
TPHOL
2008
IEEE
16 years 27 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
170
click to vote
CODES
2006
IEEE
16 years 17 days ago
2006
IEEE
The use of Application Specific Instruction-set Processors (ASIP) is a solution to the problem of increasing complexity in embedded systems design. One of the major challenges in...
193
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
—Due to the scaling down of device geometry and increasing of frequency in deep submicron designs, crosstalk between interconnection wires has become an important issue in very l...
193
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
The need for automated software engineering tools and techniques continues to grow as the size and complexity of studied systems and analysis techniques increase. Software enginee...
142
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Phase noise is a topic of theoretical and practical interest in electronic circuits, as well as in other fields such as optics. Although progress has been made in understanding th...