· 2012
Disiplinli Yaklaşık Programlama için Mimari Destek
Architecture support for disciplined approximate programming
- 387atıf
- 2012yıl
Kısa özet
Derleyiciler, yaklaşık kodun kesin koddan izole edildiğini statik olarak kanıtladığında, donanım dinamik kontroller olmaksızın seçici olarak yaklaşık depolama ve hesaplama uygulayabilir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Disiplinli yaklaşık programlama, yaklaşık hesaplamaya izin vererek enerji tasarrufu sağlar.
- Derleyiciler, yaklaşık kodun kesin koddan izole edildiğini statik olarak kanıtlar.
- Donanım, dinamik doğruluk kontrolleri olmadan yaklaşık depolama ve hesaplama uygulayabilir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves statically that all approximate computation is properly isolated from precise computation. The hardware is then free to selectively apply approximate storage and approximate computation with no need to perform dynamic correctness checks.
Yazarların özeti; kaynağından alınmıştır., 2012 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Donanım ve Mimari
Hardware and ArchitectureComputer Science