Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

OpenJDK

Known as: Open JDK, Open Java Development Kit 
OpenJDK (Open Java Development Kit) is a free and open source implementation of the Java Platform, Standard Edition (Java SE). It is the result of an… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Shenandoah is an open-source region-based low-pause parallel and concurrent garbage collection (GC) algorithm targeting large… Expand
  • figure 2
  • figure 1
  • figure 3
  • table 1
  • table 2
Highly Cited
2015
Highly Cited
2015
We investigate the correctness of TimSort, which is the main sorting algorithm provided by the Java standard library. The goal is… Expand
2015
2015
The increasing demand for performance has stimulated the wide adoption of many-core accelerators like Intel Xeon Phi Coprocessor… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2015
2015
All current implementations of Java Virtual Machines allow the creation of one-dimensional arrays of length smaller than 231… Expand
  • table I
  • table II
  • table III
  • table IV
  • table V
2015
2015
The predominant work in static program analysis is focused on whole program analysis assuming that the whole program is present… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
2015
2015
Static program analysis has many applications including bug checking for large scale code that requires a points-to analysis. To… Expand
  • figure 1
  • figure 2
  • figure 6
  • figure 7
  • table I
2014
2014
At IHMC we create state of the art walking algorithms for humanoid robots in Java. We successfully used our Java algorithms to… Expand
  • figure 1
  • figure 2
  • table 2
  • table 1
  • figure 5
2014
2014
Testing of software is one of the most important phases in the software development life cycle. Testing is performed to ensure… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Highly Cited
2011
Highly Cited
2011
  • D. Cok
  • NASA Formal Methods
  • 2011
  • Corpus ID: 46602870
The Java Modeling Language is a widely used specification language for Java. However, the tool support has not kept pace with… Expand
2008
2008
To prevent erratic behavior during runtime checking, JML only allows assertions to call pure, i.e., side-effect free, methods… Expand
  • figure 1