SHF: Medium: Next Generation Equality Saturation by way of Datalog
Kerangka equality saturation akan menggabungkan aturan Datalog dan pernyataan kesetaraan untuk mencari bentuk program ekuivalen tanpa membuang representasi sebelumnya.
Katalog teknologi — halaman 548
Telusuri profil teknologi beserta ringkasan dan rujukannya.
Profil teknologi
SHF: Medium: Provably Correct, Energy-Efficient Edge Computing
Prosesor dataflow modular diteliti untuk mengekspos paralelisme program secara langsung dan memungkinkan pembuktian kebenaran serta keamanan dari compiler hingga perangkat keras.
SHF: Medium: Scallop: A Neurosymbolic Programming Framework for Combining Logic with Deep Learning
Scallop akan menggabungkan jaringan saraf dan logika deklaratif untuk menyatakan tugas kompleks sebagai komponen neural serta simbolik yang dapat dipelajari bersama.
SHF: Small: A Design Automation Methodology for Flexible Real-Time Computing based on Split and Early Exit Neural Models
Split computing dan early-exit digabung dengan pencarian arsitektur serta pembelajaran penguatan untuk inferensi neural waktu nyata yang beradaptasi terhadap energi, komputasi, dan kanal dinamis.
SHF: Small: A General-Purpose Static Program Analysis Framework for WebAssembly
WAF dirancang sebagai kerangka analisis statis WebAssembly melalui tiga representasi antara yang menyederhanakan semantik mesin tumpukan secara bertahap.
SHF: Small: A Hybrid Synchronous Language for Verifiable Execution of Cyber-Physical Systems
MARVeLus menyatukan pemrograman, simulasi dan verifikasi sistem siber-fisik agar kode yang dijalankan memiliki hubungan langsung dengan sifat yang telah dibuktikan.
SHF: SMALL: A New Semantics for Type-Level Programming in Haskell
Bahasa inti Haskell baru akan menyatukan type classes dan type families untuk membuat spesifikasi properti program lebih teratur serta mudah diperluas.
SHF: Small: A Novel Integrated Accelerator for a Challenging Irregular Critical Application
Akselerator dengan pembentukan thread bersarang berbiaya rendah dirancang bersama prosesor umum untuk menangani paralelisme tidak beraturan pada pemecah SAT.
SHF: Small: A Ubiquitous Brain-Computer Interface for Supplementing Cognitive and Motor Functions
Ubiquitous BCI akan memadukan pemrosesan sinyal dari beberapa area otak dengan arsitektur digital heterogen untuk mendukung pilihan tujuan dan kontrol kontinu.
SHF: Small: Application-Aware Homomorphic Encryption for Neural Networks: From Algorithm to Hardware Accelerators
Akselerasi enkripsi homomorfik untuk jaringan neural menggabungkan operator komputasi gabungan, penggunaan ulang hasil antara, dan packing ciphertext dengan rancangan perangkat keras.
SHF: Small: Architectural Techniques for Energy-Efficient Brain-Machine Implants
Prediktor perangkat keras aktivitas neural mengatur mode daya rendah prosesor implan otak untuk mengurangi energi ketika perekaman tidak memerlukan komputasi aktif.
SHF: Small: Automated Unit Test Generation using Large Language Models
Generasi unit test berbasis LLM memakai hasil eksekusi sebelumnya untuk menyempurnakan prompt secara iteratif dan meningkatkan cakupan pengujian perangkat lunak.
SHF: Small: Automated Verification and Synthesis of Input Generators in Property-Based Testing Frameworks
Spesifikasi, verifikasi berbasis tipe, dan sintesis generator menguji soundness serta completeness masukan acak pada framework property-based testing perangkat lunak.
SHF: Small: Boosting Reasoning in Boolean Networks with Attributed Graph Learning
Fusi, coarsening, refinement graf, dan jaringan neural diteliti untuk embedding yang memungkinkan penalaran simbolik pada jaringan Boolean hingga skala miliaran simpul.
SHF: Small: Circuit Support for Maintaining the Continuous-power Abstraction in Energy Harvesting Systems
Dukungan rangkaian pemanen energi menargetkan abstraksi daya kontinu bagi perangkat lunak melalui suplai energy-aware, pelestarian fungsi peripheral lintas siklus listrik, dan penyesuaian kebutuhan aplikasi.
SHF: Small: Compiler and Runtime Support for Computational Storage in HPC
Kompilator dan runtime komputasi dekat penyimpanan mengatur penempatan kode serta data pada perangkat storage yang memiliki kemampuan pemrosesan.
SHF: Small: CoopSLS: Improving Boolean Satisfiability Solvers through Cooperative Stochastic Local Search
CoopSLS akan mengembangkan kerja sama antarsolver satisfiability Boolean agar pencarian lokal dan pencarian lengkap dapat berbagi informasi menuju solusi bersama.
SHF: Small: Design Methodologies for Interpretable Differentiable Logic Networks
Jaringan logika terdiferensiasi dilatih melalui relaksasi ruang pencarian diskret untuk menghasilkan aturan keputusan yang ringkas serta dapat ditafsirkan pada perangkat hemat energi.