Câu hỏi được gắn thẻ «program-optimization»

Câu hỏi: Có quy trình hoặc lý thuyết được thiết lập để tạo mã áp dụng hiệu quả phép nhân vectơ ma trận hay không, khi ma trận dày đặc và chỉ chứa các số 0 và số không? Lý tưởng nhất là mã được tối ưu hóa sẽ sử …

22 linear-algebra  matrices  program-optimization 

Trong cuốn sách của Andrew W. Appel, Modern Compiler Thực hiện trong ML , ông nói trong chương 17 rằng lý thuyết tính toán cho thấy rằng sẽ luôn luôn có thể phát minh ra các phép biến đổi tối ưu hóa mới và tiến hành chứng minh rằng trình …

20 computability  compilers  program-optimization 

Tôi có một mảng gồm 100.000 chuỗi, tất cả độ dài . Tôi muốn so sánh từng chuỗi với mọi chuỗi khác để xem liệu hai chuỗi có khác nhau 1 ký tự không. Ngay bây giờ, khi tôi thêm từng chuỗi vào mảng, tôi đang kiểm tra chuỗi đó …

19 algorithms  data-structures  program-optimization  comparison 

Theo trang Wikipedia về phân công đơn tĩnh (SSA) , SSA được sử dụng bởi các dự án lớn và nổi tiếng như LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey và V8 trong khi trang về các dự án sử dụng kiểu tiếp tục truyền (CPS) là một chút thiếu so …

15 compilers  program-optimization  continuations 

Tôi quen thuộc với ý tưởng loại bỏ đệ quy đuôi cơ bản , trong đó các hàm trả về kết quả trực tiếp của một cuộc gọi đến chính chúng có thể được viết lại dưới dạng các vòng lặp. foo(...): # ... return foo(...) Tôi cũng hiểu rằng, …

14 compilers  recursion  program-optimization  tail-recursion 

Tôi đã đọc được rằng các hệ điều hành như Android và iOS bằng cách nào đó được tối ưu hóa để cải thiện thời lượng pin. Tôi hiểu rằng CPU thực hiện một số hoạt động nhất định trong một thời gian nhất định, vì vậy tôi nghĩ rằng …

11 computer-architecture  operating-systems  performance  program-optimization 

Trên Wikipedia , một triển khai cho sơ đồ lập trình động từ dưới lên cho khoảng cách chỉnh sửa được đưa ra. Nó không hoàn toàn theo định nghĩa; các tế bào bên trong được tính toán như vậy: if s[i] = t[j] then d[i, j] := d[i-1, j-1] …

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

Câu trả lời của @ Babou cho một câu hỏi gần đây nhắc nhở tôi rằng có lúc tôi nghĩ rằng tôi đã đọc một bài báo về sự tương đương (về cả hai sự kiện có thể được suy luận hoặc chứng minh và độ phức tạp của thời …

9 reference-request  compilers  type-inference  program-optimization 

Phân tích luồng dữ liệu làm việc trên một biểu đồ luồng điều khiển. Khi một ngôn ngữ được xem xét hỗ trợ các ngoại lệ, biểu đồ luồng điều khiển có thể phát nổ. Các kỹ thuật tiêu chuẩn để đối phó với vụ nổ này là gì? Chúng …

8 programming-languages  program-optimization  software-verification 

Đối với dự án hội chợ khoa học của mình, tôi đã triển khai tối ưu hóa cho thói quen sắp xếp của Python. Ý tưởng là để di chuyển các kiểm tra an toàn phải được thực hiện trong mỗi lần so sánh, ví dụ kiểm tra loại và …

7 reference-request  type-checking  program-optimization  interpreters 

Một số trình biên dịch có các hàm tiện ích phân tách các cạnh quan trọng trong biểu đồ luồng điều khiển. Tôi cho rằng điều này không được thực hiện như một sự tối ưu hóa trong chính nó, mà là để đơn giản hóa các phân tích và …

7 compilers  program-optimization  data-flow-analysis 

Có thể thiết kế một trình biên dịch tối ưu hóa một vòng lặp trong đó các mảng được truy cập theo cách khác không? Ví dụ như thế này: // int[] a,b int sum = 0; for(int i = 0; i < n; i++) { sum += a[i] + …

7 compilers  arrays  program-optimization  memory-management