Sciweavers

3171 search results - page 222 / 635
» Application of Reduce Order Modeling to Time Parallelization
Sort
View
FORMATS
2010
Springer
15 years 1 months ago
Layered Composition for Timed Automata
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
Ernst-Rüdiger Olderog, Mani Swaminathan
114
Voted
ECIS
2000
15 years 5 months ago
Combining IT Support Across All Health Sectors Within an IT Teaching Centre
This paper describes a plan to combine IT support for major tertiary hospitals through to independent GPs under a single application support provider. The objectives of the centre ...
Brian Regan, Janet Aisbett, Greg Gibbon
ICS
1999
Tsinghua U.
15 years 8 months ago
Fast cluster failover using virtual memory-mapped communication
This paper proposes a novel way to use virtual memorymapped communication (VMMC) to reduce the failover time on clusters. With the VMMC model, applications’ virtual address spac...
Yuanyuan Zhou, Peter M. Chen, Kai Li
ICDCS
2007
IEEE
15 years 10 months ago
Protocol Design and Optimization for Delay/Fault-Tolerant Mobile Sensor Networks
While extensive studies have been carried out in the past several years for many sensor applications, they cannot be applied to the network with extremely low and intermittent con...
Yu Wang, Hongyi Wu, Feng Lin, Nian-Feng Tzeng
142
Voted
SIGMETRICS
2010
ACM
201views Hardware» more  SIGMETRICS 2010»
15 years 8 months ago
Transparent, lightweight application execution replay on commodity multiprocessor operating systems
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
Oren Laadan, Nicolas Viennot, Jason Nieh