Checkpointing for Multithreaded Programs 0.7

관련 프로그램

• PyLogo 무료

  로고 프로그래밍 언어의 통역사. 파이썬 런타임 및 라이브러리에 액세스할 수 있는 파이썬으로 작성되었습니다.

• Interactive BDD Environment 무료

  IBEN은 대화형 BDD 환경입니다. 그것은 선언, 조작 및 감소 된 바이너리 결정 다이어그램 (ROBDDs)를 시각화 할 수 있습니다. BDD를 대화형으로 조작해야 할 때마다 유용하지만 학습 도구로 설계되었습니다.

• The babbleback machine 무료

  윈 벵거에 의해 발명 된 바와 같이 & 밥백 기계 & 쿼트의 소프트웨어 구현. 마이크에서 사운드를 기록하고 짧은 지연 후 다시 사운드를 재생합니다. 어린 아이들 (심지어 아기)을위한 재미있고 교육용 장난감.

• 1861 June ACW Gazette Extra 무료

  1861년 6월 추가!!! 미국 남북 전쟁 관보 판엑스트라!!! 미국 남북 전쟁 관보의 에디션은 데일리 에디션에 나타나지 않은 추가 기사뿐만 아니라 다시 문제가 포함되어 있습니다.이 응용 프로그램 이외에 당신은 무료 미국 남북 전쟁 관보 응용 프로그램이 필요합니다.일단 설치, 미국 남북 전쟁 관보 응용 프로그램을 열고, 문서 목록에서 단순히 그 날짜 & #39 150 주년 후 186

• XLogo 무료

  XLogo - Mac OS X용으로 제작된 로고 학습 및 그리기 응용 프로그램

• Zakir Naik Podcast 무료

  자키르 나이크의 강의를 들어보세요. 전문 교육을 받은 의사인 자키르 나이크 박사는 이슬람과 비교 종교에 대한 역동적인 국제 오레이터로 유명합니다. 나이크는 이슬람의 관점을 명확히 하고 이슬람에 대한 오해를 해소하고, 꾸란, 정통 하디스 및 기타 종교적 성경을 이성, 논리 및 과학적 사실과 함께 근거로 삼고 있습니다. 자키르 나이크 박사는 평화 TV를 포함한 많은 국제 T.V에 정기적으로 출연합니다.

• Tarrant County College Mobile 무료

  타란트 카운티 대학 (TCC) 모바일 앱은 학생들이 등록 정보뿐만 아니라 과정 및 프로그램 목록, 학술 달력, 도서관 데이터베이스, 경력 코치 및 myTCC 포털에 액세스 할 수 있습니다.

• Render input formats as SVG trees 무료

  x2svg는 XML 스키마, DTD 및 Java 속성 파일과 같은 파일을 확장 가능한 벡터 그래픽(SVG)으로 그래픽으로 배치하는 소프트웨어입니다. 다이어그램은 x2svg 내에서 직접 PDF, PNG, TIF 및 EPS 파일로 변환할 수 있습니다. 간단한 GUI 및 개미 통합이 존재합니다.

• go2Sim 무료

  go2Sim은 유전자 종양학 용어에 의해 부기된 유전자 사이 의미 성 유사성을 측정합니다. Resnik 및 왕 메서드지원. 방법의 새로운 개선은 현재 개발 중이며 결과가 게시되는 즉시 사용할 수 있습니다.

• Diabetic Audio Recipes Lite 무료

  매주 정기적으로 게시하는 새로운 레시피. 우리의 응용 프로그램에서이 좋은 맛있는 쉬운 조리법을 체크 아웃 !!!우리의 맛있는 당뇨병 요리 책은 일일 메뉴 또는 저녁 식사 파티에 인기있는 조리법의 선택을 제공합니다. 그것은 간단하고 건강한, 저설탕 / 무설탕, 전채, 빵, 머핀, 스콘, 디저트, 조미료, 반찬 및 주요 요리를위한 저지방 조리법의 선택이 포함되어 있습니다. 이 컬렉션의 모든