AndLTC Miner 0.7

관련 프로그램

• ViennaCL 무료

  ViennaCL은 OpenCL을 사용하여 CPU 및 GPU의 선형 대수 루틴을 위한 높은 수준의 C++ 인터페이스를 제공합니다. 큰 선형 시스템에 자주 사용되는 반복 솔버의 일반적인 구현과 기존 프로젝트에 대한 간단한 통합에 중점을 둡니다.

• Triple-A 무료

  트리플 A(Automata를 통한 자동 분석)는 두 가지 강력한 분석 도구(LTL 모델 검사 및 프레스버거 산술 처리)와 그 주위에 구축된 그래픽 사용자 인터페이스를 갖춘 Java에서 작성된 (유한) 오토마타용 완전 추천 라이브러리입니다.

• Virtual Application Environments 무료

  내 논문 프로젝트에 대한 장기 호스팅.이 프로젝트는 시스템의 안정성을 향상시키기 위해 응용 프로그램 환경을 가상화하는 것을 목표로합니다.나는 현재 이것을 달성하기 위해 OpenSolaris 및 지역을 사용하고 있습니다.

• QuickClock Advanced Overclock 무료 평가판

  여러 장치에 대한 자동 오버클러킹 및 언더볼팅 유틸리티. 강력하고 사용하기 쉽습니다. 프로세서를 최대한 최대한 얻으려면 이 것을 시도해야 합니다. 큰 뉴스 : CPU 크기 조정 슬롯의 수를 지원하기 위해 다시 작성! (드로이드 1, 데피 등). 업그레이드 할 때 문제가있는 경우 다음을 수행하십시오 : 1) 오버 클러킹 유틸리티를 제거하십시오. 2) 장치를 재부팅하여 재고 설정에 있는지 확인합니다. 3

• REAT (Rete Evolution of Augmenting Topol 무료

  REAT (증강 토폴로지의 Rete 진화)는 찰스 포지의 Rete 네트워크에 켄 스탠리의 NEAT (증강 토폴로지의 신경 진화)의 개념을 적용하기위한 시도입니다. RETE 네트워크와 그들이 인코딩하는 규칙을 진화하는 방법이 될 것입니다.

• cppcheck 무료

  C/C++ 코드의 정적 분석. 검사: 메모리 누수, 할당 잘못 일치, 버퍼 오버런 및 더 많은 것을 확인합니다. 목표는 0% 거짓 긍정입니다. 자세한 내용은 위키를 참조하십시오.

• NUtility Class Library 무료

  NUtility 클래스 라이브러리는 높은 수준의 .NET 라이브러리이며 현재 명령줄 처리를 위한 클래스가 포함됩니다. 신용 카드 유효성 검사; 이메일 유효성 검사; IP 주소 유효성 검사; 제국 메트릭 변환; Soundex, 확장 된 사운드 렉스와 메타 폰.

• SharpDia2Code 무료

  dia로 만든 UML 다이어그램에서 C#, VB.Net 또는 NUnit 소스 파일을 생성하기 위한 도구입니다. 에서 UML 다이어그램 (dia/graphviz)의 생성 NET 어셈블리도 지원됩니다.

• Neocortex - Memory-Prediction Framework 무료

  이미지 인식에 적용되는 메모리 예측 프레임워크의 구현입니다. 제프 호킨스의 저서 《인텔리전스》를 원작으로 한다. 그것은 인간의 신피질의 높은 수준의 계층 적 아키텍처를 모델로하고 예측을 만들기위한 베이지안 신념 개정을 사용

• ETH Lecture Communicator 무료

  ETH 강의 커뮤니케이터는 교실에서의 상호 작용을 개선하는 도구입니다. 이 소프트웨어를 사용하면 강사가 동급 내 온라인 평가를 만들고 수행할 수 있으며 대규모 클래스를 위한 조직적이고 즉각적인 양방향 통신을 용이하게 합니다.