Rajeev Alur & David L. Dill (1994):
A theory of timed automata.
Theor. Comput. Sci. 126(2),
pp. 183–235,
doi:10.1016/0304-3975(94)90010-8.
Fang Chen, Xueshan Han, Zhiyuan Pan & Li Han (2008):
State Estimation Model and Algorithm Including PMU.
In: Electric Utility Deregulation and Restructuring and Power Technologies, 2008. DRPT 2008. Third International Conference on,
pp. 1097 –1102,
doi:10.1109/DRPT.2008.4523571.
Yousu Chen, Zhenyu Huang & D. Chavarria-Miranda (2010):
Performance evaluation of counter-based dynamic load balancing schemes for massive contingency analysis with different computing environments.
In: Power and Energy Society General Meeting, 2010 IEEE,
pp. 1 –6,
doi:10.1109/PES.2010.5589536.
Costas Courcoubetis & Mihalis Yannakakis (1992):
Minimum and maximum delay problems in real-time systems.
Form. Methods Syst. Des. 1(4),
pp. 385–415,
doi:10.1007/BF00709157.
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman & Andrzej Wasowski (2010):
Timed I/O automata: a complete specification theory for real-time systems.
In: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control,
HSCC '10.
ACM,
New York, NY, USA,
pp. 91–100,
doi:10.1145/1755952.1755967.
Wenzhong Gao & Shaobu Wang (2010):
On-line dynamic state estimation of power systems.
In: North American Power Symposium (NAPS), 2010,
pp. 1 –6,
doi:10.1109/NAPS.2010.5619951.
I. Gorton, Zhenyu Huang, Yousu Chen, B. Kalahar, Shuangshuang Jin, D. Chavarria-Miranda, D. Baxter & J. Feo (2009):
A High-Performance Hybrid Computing Approach to Massive Contingency Analysis in the Power Grid.
In: e-Science, 2009. e-Science '09. Fifth IEEE International Conference on,
pp. 277 –283,
doi:10.1109/e-Science.2009.46.
Zhenyu Huang, Yousu Chen & J. Nieplocha (2009):
Massive contingency analysis with high performance computing.
In: Power Energy Society General Meeting, 2009. PES '09. IEEE,
pp. 1 –8,
doi:10.1109/PES.2009.5275421.
Peter Hui, Satish Chikkagoudar & Daniel Chavarría-Miranda (2011):
Towards a Real-Time Cluster Computing Infrastructure.
IEEE Real-Time Systems Symposium (Work-in-Progress Session).
Available at http://www.cs.wayne.edu/~fishern/Meetings/wip-rtss2011/.
Peter Hui, Barry Lee & Satish Chikkagoudar (2012):
Towards Real-Time High Performance Computing for Power Grid Analysis.
In: Proceedings of the Second International Workshop on High Performance Computing, Networking and Analytics for the Power Grid,
HiPCNA-PG '12.
IEEE,
Washington, DC, USA.
To appear.
M.J. Koop, T. Jones & D.K. Panda (2008):
MVAPICH-Aptus: Scalable high-performance multi-transport MPI over InfiniBand.
In: Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on,
pp. 1 –12,
doi:10.1109/IPDPS.2008.4536283.
P. David Stotts & William Pugh (1994):
Parallel finite automata for modeling concurrent software systems.
J. Syst. Softw. 27(1),
pp. 27–43,
doi:10.1016/0164-1212(94)90112-0.
CORPORATE The MPI Forum (1993):
MPI: a message passing interface.
In: Proceedings of the 1993 ACM/IEEE conference on Supercomputing,
Supercomputing '93.
ACM,
New York, NY, USA,
pp. 878–883,
doi:10.1145/169627.169855.