The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
Dave Cunningham, Werner Dietl, Sophia Drossopoulou...
To bridge the increasing processor-disk performance gap, buffer caches are used in both storage clients (e.g. database systems) and storage servers to reduce the number of slow di...
Zhifeng Chen, Yan Zhang, Yuanyuan Zhou, Heidi Scot...
Peak to average power ratio (PAPR) and symbol loss rate (SLR) are two challenges of multicarrier based communications that have recently drawn much attention. High SLR renders the ...
Collaboration is key to safety and efficiency in Air Traffic Control. Legacy paper-based systems enable seamless and non-verbal collaboration, but trends in new software and hardw...
At least three factors in the existing migrating systems make them less suitable in Grid systems especially when the goal is to improve the response times for individual applicati...