«program-optimization» etiketlenmiş sorular

Soru: Matris yoğun ve yalnızca sıfırlarla dolu olduğunda bir matris-vektör çarpımını etkin şekilde uygulayan kod üretmek için prosedür veya teori var mı? İdeal olarak, optimize edilmiş kod, çoğaltılmış işi azaltmak için önceden hesaplanmış bilgilerin sistematik bir şekilde kullanılmasını sağlar. Başka bir deyişle, bir matrisine sahibim ve daha sonra vektörünü aldığımda …

22 linear-algebra  matrices  program-optimization 

Andrew W. Appel'in ML'deki Modern Derleyici Uygulaması kitabında bölüm 17'de Hesaplanabilirlik teorisinin yeni optimizasyon dönüşümleri icat etmenin her zaman mümkün olacağını ve tamamen optimize eden bir derleyicinin durma problemini çözeceğini kanıtladığını söylüyor : Bir program Hiçbir çıkış üretmeyen ve hiç durmayan Q'nun yerine optimum temsili olan Opt (Q) , "L: …

20 computability  compilers  program-optimization 

Tüm uzunluğu 100.000 dizeleri bir dizi var . İki dize 1 karakter farklı olup olmadığını görmek için her dize diğer dize karşılaştırmak istiyorum. Şu anda, dizeye her dizeyi eklerken, dizinin zaten içinde bulunan ve zaman karmaşıklığına sahip her dizeye karşı kontrol ediyorum .kkkn(n−1)2kn(n−1)2k\frac{n(n-1)}{2} k Halihazırda yaptığımdan daha hızlı bir şekilde …

19 algorithms  data-structures  program-optimization  comparison 

Statik-tek atama (SSA) hakkındaki Wikipedia sayfasına göre , SSA, LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey ve V8 gibi büyük ve iyi bilinen projeler tarafından kullanılırken, devam eden stili kullanan projelerdeki sayfa (CPS) karşılaştırıldığında biraz eksik. CPS'nin öncelikle işlevsel dilleri uygulayan derleyiciler ve tercümanlar tarafından tercih edildiğini düşünüyorum - özellikle Haskell …

16 compilers  program-optimization  continuations 

Bir çağrının doğrudan sonucunu veren işlevlerin yinelemeli döngüler olarak yeniden yazılabileceği temel kuyruk özyineleme ortadan kaldırılması fikrine aşinayım . foo(...): # ... return foo(...) Ayrıca, özel bir durum olarak, özyinelemeli çağrı bir çağrıya sarılırsa işlevin yeniden yazılabileceğini de anlıyorum cons. foo(...): # ... return (..., foo(...)) Hangi özellik buna consizin …

14 compilers  recursion  program-optimization  tail-recursion 

Android ve iOS gibi işletim sistemlerinin pil ömrünü uzatmak için bir şekilde optimize edildiğini okudum. Anladığım kadarıyla, bir CPU belirli bir zamanda belirli sayıda işlem gerçekleştirir, bu yüzden gerekli işlem sayısını azaltarak uygulamaları hızlandırabileceğinizi düşünürüm, ancak CPU yine de y içinde x işlem yapacağından , gücü etkiler mi? Ayrıca, bir …

11 computer-architecture  operating-systems  performance  program-optimization 

On Vikipedi , düzenleme mesafe için aşağıdan yukarıya dinamik programlama şeması için bir uygulama verilmiştir. Tanımı tam olarak takip etmez; iç hücreler şu şekilde hesaplanır: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum ( d[i-1, j] + 1, // …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

@ Babou'nun yakın zamandaki bir soruya vereceği cevap , bir keresinde veri akışı analizinin denkliği (hem çıkarılabilir veya kanıtlanabilir gerçekler hem de çıkarım algoritmasını çalıştırmanın zaman karmaşıklığı açısından) hakkında bir makale okuduğumu hatırlatıyor , soyut yorumlama ve tür çıkarımı . Bazı alt durumlarda (ileri bağlama duyarlı prosedürler arası veri akışı …

9 reference-request  compilers  type-inference  program-optimization