Java Image Science Toolkit
The Java Image Science Toolkit (JIST) for rapid prototyping and publishing of neuroimaging software FREE-DOWNLOADBC Lucas, JA Bogovic, A Carass, PL Bazin… – Neuroinformatics, 2010 Abstract Non-invasive neuroimaging techniques enable ex- traordinarily sensitive and specific in vivo study of the structure, functional response and connectivity of biological mechanisms. With these advanced methods comes a heavy reliance […]
Java Virtual Machine-02
A Certified Implementation on top of the Java Virtual Machine FREE-DOWNLOAD J de Dios… – Formal Methods for Industrial Critical Systems, 2009 – Abstract. Safe is a first-order functional language with unusual mem- ory management features: memory can be both explicitly and implicitly deallocated at some specific points in the program text, and there is no […]
Termination graphs for Java bytecode
FREE-DOWNLOADM Brockschmidt, C Otto, C Von Essen… – Verification, Induction, …, 2010 Termination is an important property of programs. Therefore, techniques to an- alyze termination automatically have been studied for decades While most work focused on term rewrite systems or declarative programming lan- guages, recently there have also been many