improvements
5 stories and discussions about improvements, aggregated from every source we track.
This is the first blog in a series about desktop improvements coming to Wikipedia. Wikipedia has remained a critical and widely-used resource for knowledge across the world for the past two decades…
A testing release of CrateDB 2.3 has just been published, and it's been enhanced with user password authentication, many SQL improvements, new doc and more.
Notable performance improvements in JDK27
<p>Abstract: "Low-security observable determinism (LSOD), as introduced by Roscoe and Zdancewic [18,24], is the simplest criterion which guarantees probabilistic noninterference for concurrent programs. But LSOD prohibits any, even secure low-nondeterminism. Giffhorn developed an improvement, named RLSOD, which allows some secure low-nondeterminism, and can handle full Java with high precision [5]. In this paper, we describe a new generalization of RLSOD. By applying aggressive program analysis, in particular dominators for multi-threaded programs, precision can be boosted and false alarms minimized. We explain details of the new algorithm, and provide a soundness proof. The improved RLSOD is integrated into the JOANA tool; a case study is described. We thus demonstrate that low-deterministic security is a highly precise and practically mature software security analysis method."</p>
Notable performance improvements in JDK27