-
1Academic Journal
Contributors: SOUANE, Ibrahima, Département d'Architectures, Conception et Logiciels Embarqués-LETI (DACLE-LETI), Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information (CEA-LETI), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Grenoble Alpes (UGA), École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), Institut Mines-Télécom Paris (IMT), Centre Microélectronique de Provence - Site Georges Charpak (CMP-GC) (CMP-ENSMSE), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon, System on Chip (LabSoC), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom Paris (IMT)-Télécom Paris, Institut Mines-Télécom Paris (IMT)-Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Institut Mines-Télécom Paris (IMT)-Télécom Paris, Institut Mines-Télécom Paris (IMT)-Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), Département Communications & Electronique (COMELEC), Télécom ParisTech, Institut Henri Fayol (FAYOL-ENSMSE), Département Informatique et systèmes intelligents (FAYOL-ENSMSE), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)
Source: ACM Transactions on Embedded Computing Systems. 24:1-28
Subject Terms: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Formal modeling, [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], Formal veriication, Model enrichment, Computing methodologies → Model development and analysis, Formal methods, Software development techniques, System modeling languages, Domain speciic languages, 0211 other engineering and technologies, 02 engineering and technology, [INFO] Computer Science [cs], 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], SysML, Software and its engineering → Compilers, Mutations
File Description: application/pdf
-
2Conference
Authors: Li, Qi, Feng, Yuzhou, Leng, Yuyang, Chen, Dong
Source: 2020 19th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN) Information Processing in Sensor Networks (IPSN), 2020 19th ACM/IEEE International Conference on. :193-204 Apr, 2020
Relation: 2020 19th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN)
-
3Conference
Authors: Loye, Justin, Mouysset, Sandrine, Jaffrès-Runser, Katia
Contributors: Internet Initiative Japan Research Laboratory (IIJ), Internet Initiative Japan (IIJ), Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), UFTMiP ADI GOIA
Source: Proceedings of Complex Networks 2024 ; https://hal.science/hal-04733587 ; Proceedings of Complex Networks 2024, Dec 2024, Istanbul, Turkey
Subject Terms: Peering ecosystem, Nestedness, Link prediction, CCS Concepts: Computing methodologies → Model development and analysis • Networks → Public Internet Topology analysis and generation internet topology, public peering, CCS Concepts, Computing methodologies → Model development and analysis, • Networks → Public Internet, Topology analysis and generation internet topology, [INFO]Computer Science [cs]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2312.09544; ARXIV: 2312.09544