Applications such as software updaters or a run-away web app, even if low priority, can cause performance degradation, loss of battery life, or other issues that reduce a computing device’s availability. The core problem is that OS resource control mechanisms unevenly apply uncoordinated policies across different resources. This paper shows how handling resources – e.g., CPU, memory, sockets, a...

Strambio-De-Castilla, Caterina, "Jumping over the fence: RNA nuclear export revisited" (2013).

We consider simple compiler optimisations for removing redundant memory fences in programs running on top of the x86-TSO relaxed memory model. While the optimisations are performed using standard thread-local control flow analyses, their correctness is subtle and relies on a non-standard global simulation argument. The implementation and the proof of correctness are programmed in Coq as part of...

Injuries sustained by unauthorized individuals who jump or fall from the United States-Mexico border fence are frequently treated by trauma centers in border states. The authors investigated patterns of musculoskeletal injury occurring in these individuals to improve emergency department assessment and to identify strategies to prevent future injuries. A retrospective chart review was performed...

Globally, migratory ungulates are affected by fences. While field observational studies reveal the amount of animal–fence interactions across taxa, GPS tracking-based uncover fence effects on movement patterns and habitat selection. However, direct fences gaps behavior, especially based high-frequency tracking data, scarce. We used three common African antelopes ( Tragelaphus strepsiceros , Ant...

1. Physical barriers contribute to habitat fragmentation, influence species distribution and ranging behaviour, and impact long-term population viability. Barrier permeability varies among species and can potentially impact the competitive balance within animal communities by differentially affecting co-occurring species. The influence of barriers on the spatial distribution of species within w...