Modelling a Folded N-Hypercube Topology for Migration in Fog Computing

[1]  Arslan Munir,et al.  IFCIoT: Integrated Fog Cloud IoT Architectural Paradigm for Future Internet of Things , 2017, ArXiv.

[2]  Pardeep Kumar.  Future Internet & Internet of Things , 2017, 2017 International Conference on Innovations in Electrical Engineering and Computational Technologies (ICIEECT).

[3]  Ankit Singla,et al.  Fat-FREE Topologies , 2016, HotNets.

[4]  Dániel Darvas,et al.  Industrial applications of the PetriDotNet modelling and analysis tool , 2017, Sci. Comput. Program..

[5]  F. Harary,et al.  A survey of the theory of hypercube graphs , 1988 .

[6]  Sonja Filiposka,et al.  Formal Algebraic Specification of an IoT/Fog Data Centre for Fat Tree or Leaf and Spine architectures , 2020, 2020 International Conference on Electrical, Communication, and Computer Engineering (ICECCE).

[7]  Carlos Juiz,et al.  Modelling VM Migration in a Fog Computing Environment , 2019 .

[8]  Tadanori Mizuno,et al.  Formal Description Techniques and Protocol Specification, Testing and Verification , 1997, IFIP — The International Federation for Information Processing.

[9]  Shahram Latifi,et al.  Properties and Performance of Folded Hypercubes , 1991, IEEE Trans. Parallel Distributed Syst..

[10]  Wan Fokkink,et al.  Introduction to Process Algebra , 1999, Texts in Theoretical Computer Science. An EATCS Series.

[11]  Carlos Juiz,et al.  Modelling a Leaf and Spine Topology for VM Migration in Fog Computing , 2020, 2020 24th International Conference Electronics.

[12]  Zhu Han,et al.  Mobility-Aware Fog Computing in Dynamic Environments: Understandings and Implementation , 2019, IEEE Access.

[13]  Jan A. Bergstra,et al.  Algebra of Communicating Processes with Abstraction , 1985, Theor. Comput. Sci..

[14]  Brian Lebiednik,et al.  A Survey and Evaluation of Data Center Network Topologies , 2016, ArXiv.

[15]  Ivan Stojmenovic,et al.  The Fog computing paradigm: Scenarios and security issues , 2014, 2014 Federated Conference on Computer Science and Information Systems.

[16]  Tom H. Luan,et al.  Fog Computing: Focusing on Mobile Users at the Edge , 2015, ArXiv.

[17]  Wan Fokkink,et al.  Formal specification and verification of TCP extended with the Window Scale Option , 2016, Sci. Comput. Program..

[18]  Amardeo Sarma,et al.  Identities in the Future Internet of Things , 2009, Wirel. Pers. Commun..

[19]  Li Da Xu,et al.  Industry 4.0: state of the art and future trends , 2018, Int. J. Prod. Res..

[20]  Sonja Filiposka,et al.  Community-based VM placement framework , 2015, The Journal of Supercomputing.

[21]  Jin-Xin Zhou,et al.  On g-extra connectivity of folded hypercubes , 2015, Theor. Comput. Sci..

[22]  David Padua,et al.  Encyclopedia of Parallel Computing , 2011 .

[23]  A. Neeman.  Algebraic and analytic geometry , 2007 .

[24]  Rongxing Lu,et al.  From Cloud to Fog Computing: A Review and a Conceptual Live VM Migration Framework , 2017, IEEE Access.

[25]  Huaikou Miao,et al.  Formal verification of security protocols using Spin , 2016, 2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS).

[26]  Robert Barton,et al.  Fog Computing Conceptual Model , 2018 .

[27]  Juan Quemada.  Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research , 2004, FORTE.

[28]  Amin Vahdat,et al.  A scalable, commodity data center network architecture , 2008, SIGCOMM '08.

[29]  Yuanyuan Yang,et al.  Oversubscription Bounded Multicast Scheduling in Fat-Tree Data Center Networks , 2013, 2013 IEEE 27th International Symposium on Parallel and Distributed Processing.

[30]  Stephen S. Yau,et al.  Services and communications in fog computing , 2017 .

[31]  Misbah Mubarak,et al.  Predicting the Performance Impact of Different Fat-Tree Configurations , 2017, SC17: International Conference for High Performance Computing, Networking, Storage and Analysis.

[32]  Ivan Stojmenovic,et al.  Fog computing: A cloud to the ground support for smart things and machine-to-machine networks , 2014, 2014 Australasian Telecommunication Networks and Applications Conference (ATNAC).

[33]  Genya Ishigaki,et al.  Fog Computing: Towards Minimizing Delay in the Internet of Things , 2017, 2017 IEEE International Conference on Edge Computing (EDGE).

[34]  James Caldwell.  Structural Induction Principles for Functional Programmers , 2013, TFPIE.

[35]  Alberto Leon-Garcia,et al.  Fog Computing: A Comprehensive Architectural Survey , 2020, IEEE Access.

[36]  Wan Fokkink,et al.  Modelling Distributed Systems , 2010, Texts in Theoretical Computer Science. An EATCS Series.

[37]  Pankaj Deep Kaur,et al.  Virtual Machine Migration in Cloud Computing , 2015 .

[38]  Abdus Samad,et al.  TOPOLOGICAL EVALUATION OF VARIANTS HYPERCUBE NETWORK , 2013 .

[39]  Simon Parkinson,et al.  Fog computing security: a review of current applications and security solutions , 2017, Journal of Cloud Computing.

[40]  Grigore Albeanu,et al.  Software reliability in the fog computing , 2017, 2017 International Conference on Innovations in Electrical Engineering and Computational Technologies (ICIEECT).

[41]  Weihua Yang,et al.  Edge disjoint paths in hypercubes and folded hypercubes with conditional faults , 2017, Appl. Math. Comput..

[42]  Mohammad Alizadeh,et al.  On the Data Path Performance of Leaf-Spine Datacenter Fabrics , 2013, 2013 IEEE 21st Annual Symposium on High-Performance Interconnects.

[43]  Geppino Pucci,et al.  Universality in VLSI Computation , 2011, ParCo 2011.

[44]  Naehyuck Chang,et al.  Powering the IoT: Storage-less and converter-less energy harvesting , 2015, The 20th Asia and South Pacific Design Automation Conference.

[45]  Mo Adda,et al.  Routing and Fault Tolerance in Z-Fat Tree , 2017, IEEE Transactions on Parallel and Distributed Systems.

[46]  Ifeyinwa E. Achumba,et al.  Leveraging Fog Computing for Scalable IoT Datacenter Using Spine-Leaf Network Topology , 2017, J. Electr. Comput. Eng..

[47]  Jan Friso Groote,et al.  Modeling and Analysis of Communicating Systems , 2014 .

[48]  Mo Dong,et al.  Towards a flexible data center fabric with source routing , 2015, SOSR.