16257 search results - page 3049 / 3252 » D-finiteness: algorithms and applications |
244
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Elevated chip temperatures are true limiters to the scalability of computing systems. Excessive runtime thermal variations compromise the performance and reliability of integrated...
158
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Recent advances in digital microfluidics have enabled lab-on-a-chip devices for DNA sequencing, immunoassays, clinical chemistry, and protein crystallization. Basic operations suc...
156
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Twisted differential line structure can effectively reduce crosstalk noise on global bus, which foresees a wide applicability. However, measured performance based on fabricated ci...
173
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
156
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Research in algorithms for Boolean satisfiability and their efficient implementations [26, 8] has recently outpaced benchmarking efforts. Most of the classic DIMACS benchmarks fro...