Using JIT Compilation and Configurable Runtime Systems for Efficient Deployment of Java Programs on Ubiquitous Devices

2001 ◽  
pp. 76-95 ◽  
Author(s):  
Radu Teodorescu ◽  
Raju Pandey
Keyword(s):  
Runtime Systems ◽  
Java Programs ◽  
Jit Compilation

Designing energy efficient communication runtime systems: a view from PGAS models

2011 ◽  
Vol 63 (3) ◽  
pp. 691-709 ◽  
Author(s):  
Abhinav Vishnu ◽  
Shuaiwen Song ◽  
Andres Marquez ◽  
Kevin Barker ◽  
Darren Kerbyson ◽  
...  
Keyword(s):  
Energy Efficient ◽  
Runtime Systems ◽  
Energy Efficient Communication ◽  
Efficient Communication

scholarly journals A thread monitoring system for multithreaded Java programs

2006 ◽  
Vol 41 (5) ◽  
pp. 21-29 ◽  
Author(s):  
Sewon Moon ◽  
Byeong-Mo Chang
Keyword(s):  
Monitoring System ◽  
Java Programs

Verification of MPI Java programs using software model checking

2016 ◽  
Vol 51 (8) ◽  
pp. 1-2
Author(s):  
Waqas Ur Rehman ◽  
Muhammad Sohaib Ayub ◽  
Junaid Haroon Siddiqui
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model ◽  
Java Programs

scholarly journals Enabling static analysis for partial java programs

2008 ◽  
Vol 43 (10) ◽  
pp. 313-328 ◽  
Author(s):  
Barthélémy Dagenais ◽  
Laurie Hendren
Keyword(s):  
Static Analysis ◽  
Java Programs

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions

2015 ◽  
Vol 40 (1) ◽  
pp. 1-5 ◽  
Author(s):  
Peter Anderson ◽  
Nick Vrvilo ◽  
Eric Mercer ◽  
Vivek Sarkar
Keyword(s):  
Java Programs

scholarly journals LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

2013 ◽  
Vol 296 ◽  
pp. 253-259 ◽  
Author(s):  
Kari Kähkönen ◽  
Olli Saarikivi ◽  
Keijo Heljanko
Keyword(s):  
Distributed Testing ◽  
Testing Tool ◽  
Java Programs
Sign in / Sign up

Export Citation Format

Share Document