Rajeev Alur
David L. Dill
1994
A theory of timed automata
Theor. Comput. Sci.
126
2
183–235
10.1016/0304-3975(94)90010-8
Fang Chen
Xueshan Han
Zhiyuan Pan
Li Han
2008
State Estimation Model and Algorithm Including PMU
Electric Utility Deregulation and Restructuring and Power Technologies, 2008. DRPT 2008. Third International Conference on
1097 –1102
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
Power and Energy Society General Meeting, 2010 IEEE
1 –6
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
385–415
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
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
HSCC '10
ACM
New York, NY, USA
91–100
10.1145/1755952.1755967
Khaled El-Fakih
Nina Yevtushenko
Sergey Buffalov
Gregor v. Bochmann
2006
Progressive solutions to a parallel automata equation
Theoretical Computer Science
362
1–3
17 – 32
10.1016/j.tcs.2006.05.034
http://www.sciencedirect.com/science/article/pii/S0304397506003161
G.C Fox
S.W Otto
A.J.G Hey
1987
Matrix algorithms on a hypercube I: Matrix multiplication
Parallel Computing
4
1
17 – 31
10.1016/0167-8191(87)90060-3
http://www.sciencedirect.com/science/article/pii/0167819187900603
Wenzhong Gao
Shaobu Wang
2010
On-line dynamic state estimation of power systems
North American Power Symposium (NAPS), 2010
1 –6
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
e-Science, 2009. e-Science '09. Fifth IEEE International Conference on
277 –283
10.1109/e-Science.2009.46
Zhenyu Huang
Yousu Chen
J. Nieplocha
2009
Massive contingency analysis with high performance computing
Power Energy Society General Meeting, 2009. PES '09. IEEE
1 –8
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)
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
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
Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on
1 –12
10.1109/IPDPS.2008.4536283
P. David Stotts
William Pugh
1994
Parallel finite automata for modeling concurrent software systems
J. Syst. Softw.
27
1
27–43
10.1016/0164-1212(94)90112-0
CORPORATE The MPI Forum
1993
MPI: a message passing interface
Proceedings of the 1993 ACM/IEEE conference on Supercomputing
Supercomputing '93
ACM
New York, NY, USA
878–883
10.1145/169627.169855