Sciweavers

985 search results - page 85 / 197
» A Caching Model of Operating System Kernel Functionality
Sort
View
HIPC
2005
Springer
15 years 10 months ago
The Impact of Noise on the Scaling of Collectives: A Theoretical Approach
The performance of parallel applications running on large clusters is known to degrade due to the interference of kernel and daemon activities on individual nodes, often referred t...
Saurabh Agarwal, Rahul Garg, Nisheeth K. Vishnoi
MASCOTS
2001
15 years 6 months ago
Packet Reading for Network Emulation
A network emulator, such as the Internet Protocol Traffic and Network Emulator (IP-TNE), enables real applications running on external hosts to interact via a virtual network mode...
Russell Bradford, Rob Simmonds, Brian Unger
JSW
2007
115views more  JSW 2007»
15 years 4 months ago
Modeling Network Behaviour By Full-System Simulation
— Due to the network technology advances, an order-of-magnitude jump has been produced in the network bandwidth. This fact has returned to wake up the interest on protocol offloa...
Andrés Ortiz, Julio Ortega, Antonio F. D&ia...
129
Voted
WSC
2004
15 years 6 months ago
Modeling Time and Space Metering of Flights in the National Airspace System
Metering flights at key points such as sector crossings is an important operational procedure in mitigating National Airspace System (NAS) traffic congestion due to high demand or...
Paul T. R. Wang, Craig R. Wanke, Frederick P. Wiel...
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 11 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo