Showing 1,441 - 1,460 results of 2,896 for search '(((spinnae OR (spine OR ((pins OR sains) OR pings))) OR line) OR ((pink OR ssspingggg) OR pin))', query time: 0.20s Refine Results
  1. 1441
  2. 1442
  3. 1443
  4. 1444
  5. 1445
  6. 1446

    Tantalum based amorphous thin films as copper diffusion barrier by Yan, Hua

    Published 2013
    “…With the fast development of semiconductor industry, a novel barrier is required in order to address two challenges in the back-end-of-line technology: enhancing the interconnect reliability of back-end-of-line and reducing resistance-capacitance delay faced during further scaling of semiconductor devices. …”
    Get full text
    Thesis
  7. 1447
  8. 1448
  9. 1449
  10. 1450
  11. 1451
  12. 1452
  13. 1453
  14. 1454
  15. 1455
  16. 1456
  17. 1457
  18. 1458
  19. 1459
  20. 1460

    Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq by Gross, Jason, Erbsen, Andres, Philipoom, Jade, Agrawal, Rajashree, Chlipala, Adam

    Published 2024
    “…The resulting extracted command-line compiler is about 1000× faster while featuring simpler compiler-specific proofs. …”
    Get full text
    Article