Pertanyaan yang diberi tag «program-optimization»

Pertanyaan: Apakah ada prosedur atau teori yang mapan untuk menghasilkan kode yang secara efisien menerapkan perkalian matriks-vektor, ketika matriks padat dan diisi hanya dengan nol dan satu? Idealnya, kode yang dioptimalkan akan membuat penggunaan sistematis informasi yang dihitung sebelumnya untuk mengurangi duplikasi pekerjaan. Dengan kata lain, saya memiliki matriks dan …

22 linear-algebra  matrices  program-optimization 

Dalam buku Andrew W. Appel, Implementasi Kompiler Modern dalam ML , ia mengatakan di bawah bab 17 bahwa teori Komputasi menunjukkan bahwa akan selalu mungkin untuk menciptakan transformasi optimisasi baru dan hasil untuk membuktikan bahwa kompiler yang mengoptimalkan sepenuhnya akan menyelesaikan masalah yang terhenti: Sebuah program Q yang tidak menghasilkan …

20 computability  compilers  program-optimization 

Saya memiliki array 100.000 string, semuanya panjang kkk . Saya ingin membandingkan setiap string dengan setiap string lain untuk melihat apakah ada dua string berbeda dengan 1 karakter. Saat ini, ketika saya menambahkan setiap string ke array, saya memeriksa setiap string yang sudah ada dalam array, yang memiliki kompleksitas waktu …

19 algorithms  data-structures  program-optimization  comparison 

Menurut halaman Wikipedia tentang static-single assignment (SSA) , SSA digunakan oleh proyek-proyek besar dan terkenal seperti LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey, dan V8 sedangkan halaman tentang proyek menggunakan gaya kelanjutan-lewat (CPS) agak kurang dibandingkan. Saya berpendapat bahwa CPS lebih disukai oleh kompiler dan interpreter yang menerapkan bahasa fungsional utama …

16 compilers  program-optimization  continuations 

Saya akrab dengan gagasan penghapusan rekursi ekor dasar , di mana fungsi yang mengembalikan hasil langsung dari panggilan untuk diri mereka sendiri dapat ditulis ulang sebagai loop berulang. foo(...): # ... return foo(...) Saya juga mengerti bahwa, sebagai kasus khusus, fungsinya masih dapat ditulis ulang jika panggilan rekursif dibungkus dengan …

14 compilers  recursion  program-optimization  tail-recursion 

Saya telah membaca bahwa OS seperti Android dan iOS entah bagaimana dioptimalkan untuk meningkatkan daya tahan baterai. Pemahaman saya adalah bahwa CPU menjalankan sejumlah operasi dalam waktu tertentu, jadi saya akan berpikir bahwa Anda dapat mempercepat aplikasi dengan mengurangi jumlah operasi yang diperlukan, tetapi karena CPU masih akan melakukan operasi …

11 computer-architecture  operating-systems  performance  program-optimization 

Di Wikipedia , implementasi untuk skema pemrograman dinamis bottom-up untuk jarak edit diberikan. Itu tidak mengikuti definisi sepenuhnya; sel-sel dalam dihitung sebagai berikut: 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, // a deletion …

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

@ Babou menjawab pertanyaan terakhir mengingatkan saya bahwa pada suatu waktu saya pikir saya membaca makalah tentang kesetaraan (dalam hal kedua fakta yang dapat disimpulkan atau dibuktikan dan kompleksitas waktu menjalankan algoritma inferensi) dari analisis aliran data , interpretasi abstrak , dan tipe inferensi . Dalam beberapa sub-kasus (seperti antara …

9 reference-request  compilers  type-inference  program-optimization 

Analisis aliran data bekerja di atas grafik aliran kontrol. Ketika bahasa yang dipertimbangkan mendukung pengecualian, grafik aliran kontrol dapat meledak. Apa teknik standar untuk menghadapi ledakan ini? Bisakah kita mengabaikan tepi yang dipicu oleh pengecualian? Bagaimanapun juga, aliran data menganalisis perhitungan perkiraan yang berlebihan, sehingga kami akan berakhir dengan solusi …

8 programming-languages  program-optimization  software-verification