Telusuri profil teknologi beserta ringkasan dan rujukannya.
QED dirancang memverifikasi konsistensi memori prosesor out-of-order melalui pengurutan pasangan instruksi dan predikat RTL sempit yang dapat diperiksa otomatis.
Pembelajaran semi-supervised statis dan adaptif diteliti untuk optimasi rancangan rangkaian terpadu serta jaminan mutu dengan kebutuhan data berlabel yang lebih sedikit.
GuardiaNN menggabungkan pemantauan pola aktivasi neuron dan model anomali pada titik terpilih dengan pengujian kasus ekstrem untuk memeriksa inferensi neural produksi.
Neurosymbolic Librarian merelaksasi kode simbolik menjadi bentuk kontinu agar struktur program dan bobot jaringan saraf dapat disintesis bersama dengan gradient descent.
Pengelolaan memori bergranularitas halus akan dirancang bersama perangkat keras untuk mengatasi biaya operasi bulk pada konfigurasi huge page DRAM dan NVM.
Profiling dan debugging akselerator dikembangkan melalui flame graph, snapshot FPGA, serta manipulasi jadwal runtime untuk memahami efisiensi dan kesalahan konkurensi.
Dependency tracking memperluas dependent type systems untuk menelusuri relevance, termination, decidability, dan tata letak data saat program diperiksa serta dikompilasi.
Agen rekayasa perangkat lunak meneliti evolusi mandiri data pelatihan, kerangka agen, dan lintasan tindakan melalui pembuatan serta penyelesaian masalah secara self-play.
Analisis electromigration full-chip akan memakai physics-informed learning dan optimasi terakselerasi DNN untuk meneliti kerusakan interkoneksi, hotspot, serta estimasi umur power grid VLSI.
Pembelajaran mendalam modular meneliti dekomposisi jaringan menjadi bagian yang dapat digunakan ulang, diganti dan diuji independen untuk menekan kebutuhan retraining.
Provenance kode hasil AI menggabungkan atribusi model, inferensi kausal, pencarian kode, dan deteksi clone untuk menjelaskan kaitan keluaran dengan prompt, artefak, serta komponen internal.
Chiplet komputasi di dalam dan dekat piksel dikembangkan dengan integrasi heterogen untuk pelacakan mata AR/VR yang memerlukan pemrosesan citra sangat cepat.
Aktuator plasma dielectric barrier discharge diteliti untuk mengendalikan interaksi shock dan boundary layer dengan tujuan menunda pemisahan aliran serta menekan kehilangan tekanan.
Simulasi terpadu plasma dan CFD dikembangkan untuk mengoptimalkan aktuator DBD berpulsa pada interaksi gelombang kejut dengan lapisan batas dalam aliran berkecepatan tinggi.
Konsolidasi shockwave nanopowder mengembangkan material termoelektrik padat yang mempertahankan nanostruktur untuk menghambat transport phonon sambil tetap menyediakan aliran elektron.
Diagnostik laser pulsa pendek memilih teknik berbeda bagi aliran high-enthalpy terdisosiasi dan tidak terdisosiasi untuk pengukuran kecepatan serta suhu tanpa seeding.
Shotcrete menempatkan beton atau mortar dengan penyemprotan ke permukaan sehingga dapat membentuk lapisan pada bidang sulit.
Spektrometer fotonik silikon meneliti emitter SiGeSn, detektor, dan kristal fotonik pemisah panjang gelombang agar sumber serta analisis kimia dapat terintegrasi pada satu platform.