linux 2019
Linux is a family of free and open-source software operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution LockDoc: Trace-Based Analysis of Locking in the Linux Kernelfree downloadFor fine-grained synchronization of application and kernel threads, the […]
javascript 2019
JavaScript, often abbreviated as JS, is a high-level, interpreted programming language that conforms to the ECMAScript specification. JavaScript has curly-bracket syntax, dynamic typing, prototype-based object-orientation, and first-class functions IDVE: an Integrated Development and Verification Environment for JavaScript free downloadProgram verifiers statically check programs based on source code annotations such as invariants, pre-and postconditions. These annotations […]
hadoop 2019
Apache Hadoop is a collection of open-source software utilities that facilitate using a network of many computers to solve problems involving massive amounts of data and computation. It provides a software framework for distributed storage and processing of big data using the MapReduce programming model. A Review on Hadoop Eco System for Big Datafree downloadIn […]