«program-optimization» 태그된 질문

의문: 행렬이 조밀하고 0과 1로만 채워질 때 행렬-벡터 곱셈을 효율적으로 적용하는 코드를 생성하는 절차 나 이론이 있습니까? 이상적으로, 최적화 된 코드는 이전에 계산 된 정보를 체계적으로 사용하여 중복 작업을 줄입니다. 즉, 나는 행렬이 MMM 나는에 따라 약간의 사전 계산하고 싶지 MMM 컴퓨팅 것, 나중에 벡터받을 때 가능한 한 효율적으로 .MvMvMvvvv …

22 linear-algebra  matrices  program-optimization 

Andrew W. Appel의 저서 ML의 Modern Compiler Implementation에서 17 장에 따르면 Computability 이론은 새로운 최적화 변환을 발명하는 것이 항상 가능 하며 완전히 최적화 된 컴파일러 가 정지 문제를 해결할 수 있음을 증명한다고 17 장에서 밝혔 습니다 . Q 어떠한 출력을 생성 결코 정지하고 용이하게 최적의 표현으로 대체 될 수 옵트 …

20 computability  compilers  program-optimization 

길이가 인 100,000 개의 문자열 배열이 kkk있습니다. 각 문자열을 다른 모든 문자열과 비교하여 두 문자열이 1 문자 씩 다른지 확인하고 싶습니다. 지금은 각 문자열을 배열에 추가함에 따라 배열에 이미있는 모든 문자열에 대해 확인하고 있으며 시간 복잡도는 n(n−1)2k엔(엔−1)2케이\frac{n(n-1)}{2} k. 내가 이미하고있는 것보다 문자열을 서로 빠르게 비교할 수있는 데이터 구조 또는 알고리즘이 …

19 algorithms  data-structures  program-optimization  comparison 

SSA (Static-Single Assignment) 의 Wikipedia 페이지에 따르면 SSA는 LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey 및 V8과 같이 크고 잘 알려진 프로젝트에서 사용되는 반면 연속 전달 스타일을 사용 하는 프로젝트 페이지는 SSA를 사용합니다. (CPS) 는 비교가 약간 부족합니다. 필자는 CPS가 주로 기능적 언어를 구현하는 컴파일러와 인터프리터에 의해 선호된다는 개념을 가지고 있습니다. …

16 compilers  program-optimization  continuations 

호출의 직접 결과를 반환하는 함수를 반복 루프로 다시 작성할 수있는 기본 꼬리 재귀 제거 아이디어에 익숙합니다 . foo(...): # ... return foo(...) 또한 특수한 경우 재귀 호출이에 대한 호출로 래핑 된 경우에도 함수를 다시 작성할 수 있음을 이해합니다 cons. foo(...): # ... return (..., foo(...)) 어떤 속성 cons이 이것을 허용합니까? …

14 compilers  recursion  program-optimization  tail-recursion 

안드로이드 및 iOS와 같은 OS는 배터리 수명을 개선하기 위해 어떻게 든 최적화되었다는 것을 읽었습니다. 내 이해는 CPU가 특정 시간에 특정 수의 작업을 실행한다는 것이므로 필요한 작업 수를 줄이면 응용 프로그램 속도를 높일 수 있다고 생각하지만 CPU는 여전히 y 시간에 x 작업을 수행 하므로 그렇게해서는 안됩니다. 힘에 영향을 미칩니 까? 또한 …

11 computer-architecture  operating-systems  performance  program-optimization 

에 위키 백과 , 편집 거리 상향식 동적 프로그래밍 방식의 구현이 제공됩니다. 정의를 완전히 따르지 않습니다. 내부 셀은 다음과 같이 계산됩니다. 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 d[i, j-1] …

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

최근 질문에 대한 @Babou의 대답 은 한 번에 데이터 흐름 분석 의 동등성 (추론되거나 입증 될 수있는 사실과 추론 알고리즘을 실행하는 시간 복잡성)에 관한 논문을 읽은 것으로 생각 합니다. , 추상 해석 및 형식 유추 . 일부 하위 사례 (정방향 상황에 따른 절차 간 데이터 흐름 분석과 추상 해석 등)에서 …

9 reference-request  compilers  type-inference  program-optimization