Abstract: Job-dependent tool switching is necessary in many batch processing systems (BPSs). Heterogeneous tool demand and extra time consumption for tool switches bring great challenges for ...
Abstract: Changes in lake water levels are closely related to climate change and can also reflect information about local human activities. Therefore, obtaining high temporal resolution time series of ...
Modular heap analysis techniques analyze a program by computing summaries for every procedure in the program that describes its effects on an input heap, using pre-computed summaries for the called ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback