이 응용 프로그램은 ?음에 1에서 250,000 사이? 소? 계산 시간을 측정?지만 소? 검사 기능이 추가 된 PC 벤? 마크 아이디어를 기?으로 개발?었습니다. 벤? 마크는 완료?는 데 너무 많은 시간이 걸리므로 250,000 대신 1에서 100,000 사이에서 ?행됩니다 (내 Marvell PXA270 416MHz 프로세서 기? Toshiba Portege G500? 경우 약 100 초). 이 응용 프로그램은 999,999,999보다 작은 ?가 소?인지 여부를 결정?는 데 사용할 ? 있습니다. 이 응용 프로그램은 두 개? 지정된 숫자 사이? 소?를 계산?는 데 사용할 ? 있습니다. 이 응용 프로그램은 1에서 100,000 사이? 소?? 속도를 결정?기 위해 장?를 벤?마킹합니다. 결과는 밀리 초입니다. &...
J2ME 휴대폰을위한 이론 증명 라이브러리입니다. 명제, 1 차 및 설명 논리에서 추론을 지원?며 모바일 지식 관리 ?는 시맨틱 웹 응용 프로그램을 목표로합니다.
& middot; 휴대 전화? 첫 번째 추론기
& middot; 약간? 자원 사용
& middot; 클로스 얼 1 차 논리 및 기술 논리를위한...