Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which complicate automation, by independent assertions about the memory content and the memory layout. As a result, assertions about the content can be treated by existing reasoners. The effect of memory updates is evaluated using spec...

Lightweight Java (LJ) is an imperative fragment of Java [5]. It is intended to be as simple as possible while still retaining the feel of Java. LJ includes fields, methods, single inheritance, dynamic method dispatch, and method overriding. It does not include support for local variables, field hiding, interfaces, inner classes, or generics. The accompanying Isabelle script proves the type soun...

The conventional cryptography solutions are ill-suited to strict memory, size and power limitations of resourceconstrained devices, so lightweight cryptography solutions have been specifically developed for this type of applications. In this domain of cryptography, the term lightweight never refers to inadequately low security, but rather to establishing the best balance to maintain sufficient ...

In this study, waste tire powder and waste liquid crystal display (LCD) glass sand are used as recycled materials. With a fixed water to binder ratio (W/B = 0.4), the use of fly ash and slag as cementreplacement materials. waste tire powder and waste LCD glass sand, which passed the sieve screen size # 30(0.595 mm), were used to replace fine aggregates at 0%, 5% and 10% in producing lightweight...

The purpose of this study was to monitor ovarian hormone function response to intense exercise and body weight changes in female athletes. Ovarian hormone function was evaluated in 12 female lightweight rowers and 10 age-height-weight matched sedentary controls. Ovarian hormone function was assessed during consecutive competition season and oV season, by measurement of peak and average alternat...

BACKGROUND Polymer mesh has been used to repair incisional hernias with lower recurrence rates than suture repair. A new generation of mesh has been developed with reduced polypropylene mass and increased pore size. The aim of this study was to compare standard mesh with new lightweight mesh in patients undergoing incisional hernia repair. METHODS Patients were randomized to receive lightweig...

Les systèmes pair-à-pair (P2P) ont remporté ces dernières années un succès rapide auprès du grand public et des professionnels car ils offrent la possibilité aux utilisateurs de partager et d’accéder à des ressources diverses, distribuées à large échelle. De nombreuses recherches concernant la sélection des meilleurs pairs contenant les données appropriées à une requête, ont émergé et constitue...