Sciweavers

3171 search results - page 232 / 635
» Application of Reduce Order Modeling to Time Parallelization
Sort
View
WSC
1998
15 years 5 months ago
Effective Simulation Model Reuse: a case study for AMHS modeling
The application of simulation as a performance estimation tool in automated material handling system design is well documented, as is the amount of time required to build, debug, ...
Gerald T. Mackulak, Frederick P. Lawrence, Theron ...
GLOBECOM
2009
IEEE
15 years 10 months ago
Accelerating Initialization for Sensor Networks
—Initialization is an indispensable process for wireless sensor networks since newly deployed sensors lack a reliable infrastructure for communication. Many efforts have been mad...
Linghe Kong, Luoyi Fu, Xuemei Liu, Min-You Wu
ISSTA
1998
ACM
15 years 7 months ago
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
William Chan, Richard J. Anderson, Paul Beame, Dav...
146
Voted
RAID
2009
Springer
15 years 10 months ago
Protecting a Moving Target: Addressing Web Application Concept Drift
Because of the ad hoc nature of web applications, intrusion detection systems that leverage machine learning techniques are particularly well-suited for protecting websites. The re...
Federico Maggi, William K. Robertson, Christopher ...
128
Voted
JSSPP
2010
Springer
15 years 1 months ago
Risk Aware Overbooking for Commercial Grids
Abstract. The commercial exploitation of the emerging Grid and Cloud markets needs SLAs to sell computing run times. Job traces show that users have a limited ability to estimate t...
Georg Birkenheuer, André Brinkmann, Holger ...