ลาวา fastmodels มีรหัสระดับต่ำสำหรับการจัดการแบบจำลองอย่างรวดเร็วใน LAVA & nbsp;. ขณะนี้มันถูกออกแบบมาเพื่อจัดการม้า NFS, การตั้งค่าระบบแฟ้มราก (การส่งออกที่มีให้ tarball ไปยังจุดเชื่อมต่อและให้ศีลให้พรกับอย่างรวดเร็วแบบที่เฉพาะเจาะจง...

KOJAK

KOJAK 3.3

Kojak (Kit สำหรับคำพิพากษาวัตถุประสงค์และการตรวจสอบความรู้ตามสมรรถนะของคอขวด) เป็นชุดขององค์ประกอบเครื่องมือทั่วไปและทำงานร่วมกันออกแบบมาสำหรับการวิเคราะห์ประสิทธิภาพของการใช้งานแบบขนานการทำงานของพวกเขาที่อยู่ในขั้นตอนการวิเคราะห์ทั้งหมดรวมทั้งเครื่องมือ...

inFusion

inFusion 1.7.2

Infusion เป็นเชิงพาณิชย์, การประยุกต์ใช้คราสตามที่เขียนใน Java ช่วยให้นักพัฒนาในการควบคุมอย่างเต็มที่สถาปัตยกรรมซอฟต์แวร์ที่มีคุณภาพเช่นเดียวกับคุณภาพการออกแบบความสามารถในการจัดการกับ Java, C ++ & nbsp; และโครงการ C,...

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 การปรับปรุง

YourKit Java Profiler เป็นซีพียูและหน่วยความจำในเชิงพาณิชย์รวมข้อมูลซอฟต์แวร์ที่ช่วยให้ผู้ใช้สามารถแก้ปัญหาที่หลากหลายของ CPU และหน่วยความจำที่เกี่ยวข้องกับปัญหาประสิทธิภาพการทำงานYourKit Java Profiler...

จมูก pynotify จมูกเป็นปลั๊กอินที่จะใช้สำหรับการแจ้งเตือน pynotify กราฟิก ต้องการ . งูใหญ่ ...

Ahven

Ahven 2.3

Ahven เป็นห้องสมุดทดสอบหน่วยง่าย (หรือกรอบ) สำหรับ Ada 95 ภาษาการเขียนโปรแกรม โครงการเป็นแบบจำลองอย่างอิสระหลังจาก JUnit และความคิดบางอย่างที่นำมาจาก aUnitAhven เป็นซอฟต์แวร์แจกฟรีภายใต้ใบอนุญาต ISC บุตรและควรทำงานกับ Ada 95 คอมไพเลอร์ คุณสมบัติ . ...

HOL

HOL 7

HOL สั้น ๆ จากที่สูงขึ้นการสั่งซื้อลอจิกเป็นสภาพแวดล้อมการเขียนโปรแกรมที่ทฤษฎีบทสามารถพิสูจน์หลักฐานและเครื่องมือในการดำเนินการในการสร้างขั้นตอนการตัดสินใจและ provers ทฤษฎีบทโดยอัตโนมัติสามารถสร้างทฤษฎีง่าย ๆ อีกมากมาย...

ContiPerf

ContiPerf 2.3.0

ContiPerf เป็นเครื่องมือทดสอบที่มีน้ำหนักเบาที่ช่วยให้ผู้ใช้สามารถใช้ประโยชน์จาก JUnit 4 กรณีทดสอบเช่นการทดสอบประสิทธิภาพเช่น . สำหรับการทดสอบประสิทธิภาพอย่างต่อเนื่อง & nbsp; มันเป็นแรงบันดาลใจจาก JUnit 4...

ค้นหาตามหมวดหมู่