125 Hits in 6.5 sec

Dynamicity Aware Graph Relabeling Systems and the Constraint Based Synchronization: A Unifying Approach to Deal with Dynamic Networks [chapter]

Arnaud Casteigts, Serge Chaumette
2006 Lecture Notes in Computer Science  
The proposed model (Dynamicity Aware Graph Relabeling Systems) derives from what has been achieved in the area of local computations, and that produced useful results in the context of static networks.  ...  They are adapted to the study of dynamic networks and to the modeling of algorithms in a dynamic context at a high level of abstraction.  ...  First of all, we plan to use it to classify dynamic networks, in terms of what kinds of problems can be solved, in which network classes, and with which asumptions.  ... 
doi:10.1007/11814856_64 fatcat:2k7pi4cu6rggzndlbi32qusdem

Midpoint routing algorithms for Delaunay triangulations

Weisheng Si, Albert Y. Zomaya
2010 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS)  
Based on the analysis, we then propose a novel dynamic graph-based waveband assignment algorithm in conjunction with adaptive routing.  ...  Unfortunately, parallel programming is hard and error-prone. The programmer has to parallelize the work, perform the data placement, and deal with thread synchronization.  ...  of maintaining a topology with small degree as well as small diameter in a dynamic distributed system such that the system always stays connected and processes that wish to leave the system can do so  ... 
doi:10.1109/ipdps.2010.5470471 dblp:conf/ipps/SiZ10 fatcat:yuchdc4zp5borm5vs7j4rqgmzy

2020 Index IEEE Transactions on Systems, Man, and Cybernetics: Systems Vol. 50

2020 IEEE Transactions on Systems, Man & Cybernetics. Systems  
Departments and other items may also be covered if they have been judged to have archival value. The Author Index contains the primary entry for each item, listed under the first author's name.  ...  The primary entry includes the coauthors' names, the title of the paper or other item, and its location, specified by the publication abbreviation, year, month, and inclusive pagination.  ...  Bera, A., +, TSMC March 2020 747-761 Network-to-Network Control Over Heterogeneous Topologies: A Dynamic Graph Approach.  ... 
doi:10.1109/tsmc.2021.3054492 fatcat:zartzom6xvdpbbnkcw7xnsbeqy

Finding Structure in Dynamic Networks [article]

Arnaud Casteigts
2018 arXiv   pre-print
We hope they can serve as a broad introduction to the domain of highly dynamic networks, with a focus on temporal graph concepts and their interaction with distributed computing.  ...  Given the nature of this document, the contributions that involve the author have been emphasized; however, these four chapters were specifically written for distribution to a larger audience.  ...  This approach made it possible for us to design reductions from and to the TSP with inertia constraints to other versions of TSP.  ... 
arXiv:1807.07801v1 fatcat:oh6e4eqhqbh3vabyqejptfz6cy

Failure-free coordinators synthesis for component-based architectures

Massimo Tivoli, Paola Inverardi
2008 Science of Computer Programming  
The basic idea is to build applications by assuming a "coordinator-based" architectural style.  ...  We illustrate our approach by means of an explanatory example and validate it on an industrial case study that concerns the development of systems for safeguarding, fruiting, and supporting the Cultural  ...  By construction and due to the relabelling, the AC i [f i ] do not synchronize each other, but each of them synchronizes only with K f .  ... 
doi:10.1016/j.scico.2008.03.001 fatcat:ipkqdivtq5bd3g52lytzbjey5y

Application-Layer Connector Synthesis [chapter]

Paola Inverardi, Romina Spalazzese, Massimo Tivoli
2011 Lecture Notes in Computer Science  
We consider interoperability as the ability for two Networked Systems (NSs) to communicate and correctly coordinate to achieve their goal(s).  ...  Heterogeneous protocols may be willing to cooperate in order to reach some common goal even though they meet dynamically and do not have a priori knowledge of each other.  ...  Dealing with black-box components, this is done by inserting in the system a software coordinator. It is an additional system.  ... 
doi:10.1007/978-3-642-21455-4_5 fatcat:jf2zwc5xdbfbfjosklu4jlpyay

Process Algebras [chapter]

Bruce Leasure, David J. Kuck, Sergei Gorlatch, Murray Cole, Gregory R. Watson, Alain Darte, David Padua, Utpal Banerjee, Olaf Schenk, Klaus Gärtner, David Padua, Howard Jay Siegel (+43 others)
2011 Encyclopedia of Parallel Computing  
Behavioral equivalences are used to abstract from unwanted details and identify those systems that react similarly to external experiments.  ...  Many different approaches (operational, denotational, algebraic) are taken for describing the meaning of processes. However, the operational approach is the reference one.  ...  Mobility and network awareness Much of the ongoing work is relative to the definition of theories and formalisms to naturally deal with richer classes of systems, like, e.g. mobile systems and network  ... 
doi:10.1007/978-0-387-09766-4_450 fatcat:w3fdmomk3jdgbhojpspho2wpam

Big Graph Analytics Platforms

Da Yan, Yingyi Bu, Yuanyuan Tian, Amol Deshpande
2017 Foundations and Trends in Databases  
Introduction The growing need to deal with massive graphs in real-life applications has led to a surge in the development of big graph analytics platforms.  ...  Comparison of Matrix-Based and Vertex-Centric Systems Finally, let's compare the matrix-based graph systems to the vertexcentric graph systems.  ...  Out-of-Core SSD-Based Systems  ... 
doi:10.1561/1900000056 fatcat:ucqrtzo4q5g2lpj6dmp7jv3e5m

The structure and dynamics of multilayer networks

S. Boccaletti, G. Bianconi, R. Criado, C.I. del Genio, J. Gómez-Gardeñes, M. Romance, I. Sendiña-Nadal, Z. Wang, M. Zanin
2014 Physics reports  
In the past years, network theory has successfully characterized the interaction among the constituents of a variety of complex systems, ranging from biological to technological, and social systems.  ...  redefinition of the basic structural measures, to understanding how the multilayer nature of the network affects processes and dynamics.  ...  132 Nation 2 Nation 1 Nation 1 SatCom Nation 1 UHF Network1 Nation 1 VHF Network Nation 1 UHF Network2 Nation 2 UHF Network Furthermore, a part of the material quoted in our presentation was taken from  ... 
doi:10.1016/j.physrep.2014.07.001 pmid:32834429 pmcid:PMC7332224 fatcat:5y6wdkop2nd75kwnla4by2icqy

Learning Optimal Resource Allocations in Wireless Systems

Mark Eisen, Clark Zhang, Luiz Chamon, Daniel D. Lee, Alejandro R. Ribeiro
2019 IEEE Transactions on Signal Processing  
While both exact and heuristic approaches have been developed for select problems of interest, as these systems grow in complexity to support applications in Internet of Things and autonomous behavior,  ...  The goal of this thesis is to develop a learning framework for solving resource allocation problems in wireless systems.  ...  scheduling policies with regards to the varying system dynamics and latency constraints.  ... 
doi:10.1109/tsp.2019.2908906 fatcat:vwjagdkyjbglzo7r6qar5uf3vq

Multilayer networks

M. Kivela, A. Arenas, M. Barthelemy, J. P. Gleeson, Y. Moreno, M. A. Porter
2014 Journal of Complex Networks  
To unify the disparate terminology in the large body of recent work, we discuss a general framework for multilayer networks, construct a dictionary of terminology to relate the numerous existing concepts  ...  We conclude with a summary and an outlook.  ...  [96] took this approach to examine group synchronization (which has nothing to do with the concept of "synchronization" from dynamical systems), in which one tries to determine the elements of a (mathematical  ... 
doi:10.1093/comnet/cnu016 fatcat:gkvuniqrdbgkpn22t7fkt7vdke

Validating Distributed Object and Component Designs [chapter]

Nima Kaveh, Wolfgang Emmerich
2003 Lecture Notes in Computer Science  
The dynamic behaviour of those distributed systems is influenced by the particular combination of middleware synchronisation and threading primitives used for communication amongst distributed objects.  ...  We devise a means to specify safety and liveness properties in UML and again map those to process algebra safety and liveness properties.  ...  It uses relabelling to synchronise the four actions of the OA process with the relevant actions in the Client and Server process.  ... 
doi:10.1007/978-3-540-39800-4_5 fatcat:r6kc6ts2gredlbhme56tmnv6vm

Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations

Marwan Abi-Antoun, Jonathan Aldrich
2009 Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA 09  
Alternatively, an existing diagram may be inconsistent with the code, and must be analyzed for conformance with the implementation.  ...  This dissertation proposes a novel approach, SCHOLIA *  ...  Acknowledgements The author thanks Alan Mackworth for granting us permission to study the HillClimber code base and publish details of the case study.  ... 
doi:10.1145/1640089.1640113 dblp:conf/oopsla/Abi-AntounA09 fatcat:5az42goimrblzfgzygr2jwj4fm

Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations

Marwan Abi-Antoun, Jonathan Aldrich
2009 SIGPLAN notices  
Alternatively, an existing diagram may be inconsistent with the code, and must be analyzed for conformance with the implementation.  ...  This dissertation proposes a novel approach, SCHOLIA *  ...  Acknowledgements The author thanks Alan Mackworth for granting us permission to study the HillClimber code base and publish details of the case study.  ... 
doi:10.1145/1639949.1640113 fatcat:vfigrxw7afcolheyf27gxjlfba

Internal coarse-graining of molecular systems

J. Feret, V. Danos, J. Krivine, R. Harmer, W. Fontana
2009 Proceedings of the National Academy of Sciences of the United States of America  
Rule-based models provide a powerful alternative to approaches that require explicit enumeration of all possible molecular species of a system.  ...  We present a formal (and automated) method for constructing a coarse-grained and selfconsistent dynamical system aimed at molecular patterns that are distinguishable by the dynamics of the original system  ...  When dealing with graph embeddings it is more natural to simply think of the smaller graph G being relabelled (isomorphism) to "fit" the larger one.  ... 
doi:10.1073/pnas.0809908106 pmid:19346467 pmcid:PMC2672529 fatcat:wqoauckbyvbbfnw7bjyucjkr5m
« Previous Showing results 1 — 15 out of 125 results