A Role-based Trust Model assessing IoA services: First Results on Real MAS Implementation by using ROS 2

Συγγραφείς: Su, Runbo, Saint-Jore, Amaury

Συνεισφορές: SIMulating and Building IOT (SIMBIOT), Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

Πηγή: The International Conference on Embedded Wireless Systems and Networks (EWSN 2023) ; https://hal.science/hal-04161463 ; The International Conference on Embedded Wireless Systems and Networks (EWSN 2023), Sep 2023, Rende, Italy. ⟨10.5555/3639940.3639978⟩ ; https://dl.acm.org/doi/10.5555/3639940.3639978

Θεματικοί όροι: Trust, Internet of Agents, Real Implementation, ROS 2, Performance Analysis, Realiability, D.4.5 [Operating Systems]: Reliability Measurement Performance Trust Internet of Agents Real Implementation ROS 2, D.4.5 [Operating Systems]: Reliability Measurement, Performance Trust, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]

Θέμα γεωγραφικό: Rende, Italy

Διαθεσιμότητα: https://hal.science/hal-04161463
https://hal.science/hal-04161463v1/document
https://hal.science/hal-04161463v1/file/EWSN23_WIP.pdf
https://doi.org/10.5555/3639940.3639978

A new multiscale tool for simulating smart-grid energy management based on a systemic approach

Συγγραφείς: Randriantsoa, Ando, Ny Aina, Fakra, Ali Hamada, Fakra, Damien, Ali Hamada, Ranjaranimaro, Manitra, Pierrot, Rachadi, Mohamed, Nasroudine Mohamed, Gatina, Jean, Claude

Συνεισφορές: Physique et Ingénierie Mathématique pour l'Énergie, l'environnemeNt et le bâtimenT (PIMENT), Université de La Réunion (UR)

Πηγή: ISSN: 0045-7906 ; Computers and Electrical Engineering ; https://hal.science/hal-03278354 ; Computers and Electrical Engineering, 2021, 94, pp.107292. ⟨10.1016/j.compeleceng.2021.107292⟩.

Θεματικοί όροι: SMARTEN, energy management, energy-mix, smart grid, multiscale, simulation, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.3: Network Operations, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Διαθεσιμότητα: https://hal.science/hal-03278354
https://hal.science/hal-03278354v1/document
https://hal.science/hal-03278354v1/file/SMARTEN_Elsevier_Original_Format.pdf
https://doi.org/10.1016/j.compeleceng.2021.107292

Fork/Wait and Multicore Frequency Scaling: a Generational Clash

Συγγραφείς: Carver, Damien, Gouicem, Redha, Lozi, Jean-Pierre, Sopena, Julien, Lepers, Baptiste, Zwaenepoel, Willy, Palix, Nicolas, Lawall, Julia, L., Muller, Gilles

Συνεισφορές: Well Honed Infrastructure Software for Programming Environments and Runtimes (Whisper), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Oracle Labs, DistributEd aLgorithms and sYStems (DELYS), The University of Sydney, Efficient and Robust Distributed Systems (ERODS), Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), This work is supported in part by Oracle donation CR 1930, CSG

Πηγή: 10th Workshop on Programming Languages and Operating Systems
https://inria.hal.science/hal-02349987
10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩

Θεματικοί όροι: Multicore scheduling, Graphical debugging, Frequency scaling, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Θέμα γεωγραφικό: Huntsville

Time: Huntsville, Canada

Διαθεσιμότητα: https://inria.hal.science/hal-02349987
https://inria.hal.science/hal-02349987v2/document
https://inria.hal.science/hal-02349987v2/file/paper.pdf
https://doi.org/10.1145/3365137.3365400

The ultimate control flow transfer in a Java based smart card

Συγγραφείς: Bouffard, Guillaume, Lanet, Jean-Louis

Συνεισφορές: Lanet, Jean-Louis, DMI (XLIM-DMI), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), Centre Inria de l'Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria), LHS-PEC

Πηγή: Computers & Security. 50:33-46

Θεματικοί όροι: Fault Tree Analysis, Java Card Security, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, 0211 other engineering and technologies, 02 engineering and technology, Smart Card, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Countermeasures, Logical Attack, 0202 electrical engineering, electronic engineering, information engineering, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Evaluation, Control Flow Transfer, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.inria.fr/hal-01211370/file/15-CompSecu.pdf
https://inria.hal.science/hal-01211370v1
https://doi.org/10.1016/j.cose.2015.01.004
https://inria.hal.science/hal-01211370v1/document
https://hal.inria.fr/hal-01211370/document
https://www.sciencedirect.com/science/article/pii/S016740481500005X
https://hal.inria.fr/hal-01211370
https://dblp.uni-trier.de/db/journals/compsec/compsec50.html#BouffardL15

Reconf-Pack: A Simulator for Reconfigurable Battery-Powered Real-Time Systems

Συγγραφείς: Gammoudi, Aymen, Benzina, Adel, Khalgui, Mohamed, Chillet, Daniel, Goubaa, Aicha

Συνεισφορές: Institut National des Sciences Appliquées et de Technologie Tunis (INSAT), Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (CAIRN), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)

Πηγή: 30th European Simulation and Modelling Conference
https://inria.hal.science/hal-01401706
30th European Simulation and Modelling Conference, Oct 2016, Las Palmas, Spain

Θεματικοί όροι: Embedded system, Real-time and low-power scheduling, Reconfiguration, OS software optimization, Simulation, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.4: Scheduling, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

Θέμα γεωγραφικό: Las Palmas, Spain

Διαθεσιμότητα: https://inria.hal.science/hal-01401706
https://inria.hal.science/hal-01401706v1/document
https://inria.hal.science/hal-01401706v1/file/ESM2016_camera_ready_final.pdf

Efficient Model Partitioning for Distributed Model Transformations

Συγγραφείς: Benelallam, Amine, Tisi, Massimo, Sánchez Cuadrado, Jesús, de Lara, Juan, Cabot, Jordi

Συνεισφορές: Modeling Technologies for Software Production, Operation, and Evolution (AtlanModels), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Centre Inria de l'Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Universidad Autónoma de Madrid (UAM), Universitat Oberta de Catalunya Barcelona (UOC), Institució Catalana de Recerca i Estudis Avançats = Catalan Institution for Research and Advanced Studies (ICREA)

Πηγή: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; SLE 2016 - International Conference of Software Language Engineering ; https://inria.hal.science/hal-01367572 ; SLE 2016 - International Conference of Software Language Engineering, Oct 2016, Amsterdam, Netherlands. ⟨10.1145/2997364.2997385⟩

Θεματικοί όροι: Data Distribution, ATL, Model Transformation, MapReduce, Static Analysis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Θέμα γεωγραφικό: Amsterdam, Netherlands

Διαθεσιμότητα: https://inria.hal.science/hal-01367572
https://inria.hal.science/hal-01367572v2/document
https://inria.hal.science/hal-01367572v2/file/sle2016.pdf
https://inria.hal.science/hal-01367572v2/file/document.html
https://doi.org/10.1145/2997364.2997385

Multicore CPU Reclaiming: Parallel or Sequential?

Συγγραφείς: Abeni, Luca, Lipari, Giuseppe, Parri, Andrea, Sun, Youcheng

Συνεισφορές: Università degli Studi di Trento = University of Trento (UNITN), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Scuola Universitaria Superiore Sant'Anna = Sant'Anna School of Advanced Studies Pisa (SSSUP)

Πηγή: 31st ACM Symposium on Applied Computing
https://hal.science/hal-01286130
31st ACM Symposium on Applied Computing, Apr 2016, Pise, Italy. ⟨10.1145/2851613.2851743⟩
http://oldwww.acm.org/conferences/sac/sac2016/index.html

Θεματικοί όροι: Real-Time Scheduling, multiprocessor, Reclaiming unused bandwidth, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.4: Scheduling, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Θέμα γεωγραφικό: Pise, Italy

Διαθεσιμότητα: https://hal.science/hal-01286130
https://hal.science/hal-01286130v1/document
https://hal.science/hal-01286130v1/file/hal.pdf
https://doi.org/10.1145/2851613.2851743

FFSMark : Un Benchmark pour Systèmes de Fichiers Dédiés aux Mémoires Flash

Συγγραφείς: Olivier, Pierre, Boukhobza, Jalil

Συνεισφορές: Lab-STICC_UBO_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)

Πηγή: Conférence d’informatique en Parallélisme, Architecture et Système 2015 ; https://hal.science/hal-01166979 ; Conférence d’informatique en Parallélisme, Architecture et Système 2015, Jun 2015, Lille, France. pp.10

Θεματικοί όροι: Linux, Benchmarking, Systèmes de fichiers, Mémoire flash NAND, ACM: D.: Software/D.4: OPERATING SYSTEMS, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.2: Storage Management, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.3: File Systems Management, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Θέμα γεωγραφικό: Lille, France

Διαθεσιμότητα: https://hal.science/hal-01166979
https://hal.science/hal-01166979v1/document
https://hal.science/hal-01166979v1/file/papier.pdf

Les smartphones comme passerelle de services : peuvent-ils relier l'Internet des choses (IoT) et la virtualisation dans les nuages (Cloud) ?

Συγγραφείς: Golchay, Roya, Le Mouël, Frédéric, Ponge, Julien, Stouls, Nicolas

Συνεισφορές: Dynamic Software and Distributed Systems (DYNAMID), CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)

Πηγή: Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS) - Conférence Française en Systèmes d'Exploitation (CFSE) ; https://inria.hal.science/hal-00758618 ; Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS) - Conférence Française en Systèmes d'Exploitation (CFSE), Jan 2013, Grenoble, France

Θεματικοί όροι: Cloud Computing, Internet of Things, Service-Oriented Applications, Smart and Autonomic Gateway, Smartphone, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Θέμα γεωγραφικό: Grenoble, France

Διαθεσιμότητα: https://inria.hal.science/hal-00758618
https://inria.hal.science/hal-00758618v1/document
https://inria.hal.science/hal-00758618v1/file/CFSEPoster2013.pdf

JooFlux : modification de code à chaud et injection d'aspects directement dans une JVM 7

Συγγραφείς: Ponge, Julien, Le Mouël, Frédéric

Συνεισφορές: Dynamic Software and Distributed Systems (DYNAMID), CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)

Πηγή: Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS) - Conférence Française en Systèmes d'Exploitation (CFSE) ; https://inria.hal.science/hal-00759402 ; Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS) - Conférence Française en Systèmes d'Exploitation (CFSE), Jan 2013, Grenoble, France

Θεματικοί όροι: JVM, runtime patches, AOP, invokedynamic bytecode, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Θέμα γεωγραφικό: Grenoble, France

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1211.7345; ARXIV: 1211.7345

Διαθεσιμότητα: https://inria.hal.science/hal-00759402
https://inria.hal.science/hal-00759402v1/document
https://inria.hal.science/hal-00759402v1/file/jooflux-cfse.pdf

ROCS: a Remotely Provisioned OSGi Framework for Ambient Systems

Συγγραφείς: Frénot, Stéphane, Ibrahim, Noha, Le Mouël, Frédéric, Ben Hamida, Amira, Ponge, Julien, Chantrel, Mathieu, Beras, Denis

Συνεισφορές: Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), Heterogeneous and Adaptive distributed DAta management Systems (HADAS), Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), IEEE/IFIP

Πηγή: Network Operations and Management Symposium ; https://inria.hal.science/inria-00436041 ; Network Operations and Management Symposium, IEEE/IFIP, Apr 2010, Osaka, Japan. pp.503-510

Θεματικοί όροι: OSGi, Cloud Computing, Java, ACM: D.: Software/D.4: OPERATING SYSTEMS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Θέμα γεωγραφικό: Osaka, Japan

Διαθεσιμότητα: https://inria.hal.science/inria-00436041
https://inria.hal.science/inria-00436041v1/document
https://inria.hal.science/inria-00436041v1/file/PID1073261.pdf

Component-Based Real-Time Operating System for Embedded Applications

Συγγραφείς: Loiret, Frédéric, Navas, Juan, Babau, Jean-Philippe, Lobry, Olivier

Συνεισφορές: Adaptive Distributed Applications and Middleware (ADAM), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Lille, Institut National de Recherche en Informatique et en Automatique (Inria), Orange Labs R&D Rennes, France Télécom, CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria), Minalogic Mind, Springer

Πηγή: 12th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'09)
https://inria.hal.science/inria-00437949
12th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'09), Jun 2009, East Stroudsburg, United States. pp.209-226

Θεματικοί όροι: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Θέμα γεωγραφικό: East Stroudsburg, United States

Διαθεσιμότητα: https://inria.hal.science/inria-00437949
https://inria.hal.science/inria-00437949v1/document
https://inria.hal.science/inria-00437949v1/file/Loiret_Navas_Babau_Lobry-CBSE09.pdf

RW-OGS: an Optimized RandomWalk Protocol for Resource Discovery in Large Scale Dynamic Grids

Συγγραφείς: Jeanvoine, Emmanuel, Morin, Christine

Συνεισφορές: Programming distributed parallel systems for large scale numerical simulation (PARIS), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre Inria de l'Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria), Grid'5000

Πηγή: Grid 2008 ; Proc. of the 9th IEEE/ACM International Conference on Grid Computing (GRID 2008) ; https://inria.hal.science/inria-00434432 ; Proc. of the 9th IEEE/ACM International Conference on Grid Computing (GRID 2008), 2008, tsukuba, Japan. pp.168-175

Θεματικοί όροι: ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Θέμα γεωγραφικό: tsukuba, Japan

Διαθεσιμότητα: https://inria.hal.science/inria-00434432
https://inria.hal.science/inria-00434432v1/document
https://inria.hal.science/inria-00434432v1/file/04662796.pdf

Virtualization of Service Gateways in Multi-provider Environments

Συγγραφείς: Royon, Yvan, Frénot, Stéphane, Le Mouël, Frédéric

Συνεισφορές: Architectures of networks of services (ARES), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)

Πηγή: Proceedings of the 9th International SIGSOFT Symposium on Component-Based Software Engineering (CBSE'2006) ; https://inria.hal.science/inria-00394956 ; Proceedings of the 9th International SIGSOFT Symposium on Component-Based Software Engineering (CBSE'2006), Jun 2006, Västeraas, Sweden. pp.385-392, ⟨10.1007/11783565_31⟩

Θεματικοί όροι: Virtual gateway, multi-user, service-oriented programming, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Θέμα γεωγραφικό: Västeraas, Sweden

Διαθεσιμότητα: https://inria.hal.science/inria-00394956
https://inria.hal.science/inria-00394956v1/document
https://inria.hal.science/inria-00394956v1/file/CBSE2006.pdf
https://doi.org/10.1007/11783565_31

JooFlux: Hijacking Java 7 InvokeDynamic To Support Live Code Modifications

Συγγραφείς: Ponge, Julien, Le Mouël, Frédéric

Συνεισφορές: Dynamic Software and Distributed Systems (DYNAMID), CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria), INSA Lyon, INRIA

Πηγή: https://inria.hal.science/hal-00737897 ; [Research Report] INSA Lyon; INRIA. 2012.

Θεματικοί όροι: JVM, runtime patches, AOP, invokedynamic bytecode, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.1: Classes and objects, ACM: D.: Software/D.4: OPERATING SYSTEMS, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1210.1039; ARXIV: 1210.1039

Διαθεσιμότητα: https://inria.hal.science/hal-00737897
https://inria.hal.science/hal-00737897v1/document
https://inria.hal.science/hal-00737897v1/file/jooflux-rr.pdf

Open source software for managing macOS clients ; Outils libres pour la gestion d'un parc de machines sous macOS

Συγγραφείς: Masquelin, Mickaël

Συνεισφορές: Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN), Centrale Lille-Institut supérieur de l'électronique et du numérique (ISEN)-Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)

Πηγή: 14ème journée thématique MIn2RIEN : "Gestion du Poste de travail"
https://hal.science/hal-01774796
14ème journée thématique MIn2RIEN : "Gestion du Poste de travail", Jan 2018, Villeneuve d'Ascq, France

Θεματικοί όροι: ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Θέμα γεωγραφικό: Villeneuve d'Ascq, France

Διαθεσιμότητα: https://hal.science/hal-01774796

Ensuring IoT security with an architecture based on a separation kernel

Συγγραφείς: Yaker, Mahieddine, Gaber, Chrystel, Grimaud, Gilles, Wary, Jean-Philippe, Sanchez-Leighton, Vicente, Iguchi-Cartigny, Julien, Han, Xiao

Συνεισφορές: Orange Labs Caen, Orange Labs, Institut de Recherche sur les Composants logiciels et matériels pour l'Information et la Communication Avancée - UAR 3380 (IRCICA), Université de Lille-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)

Πηγή: FiCloud 2018 ; https://hal.science/hal-01819666 ; FiCloud 2018, Aug 2018, Barcelona, Spain

Θεματικοί όροι: ACM: D.: Software/D.4: OPERATING SYSTEMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Θέμα γεωγραφικό: Spain

Time: Barcelona, Spain

Διαθεσιμότητα: https://hal.science/hal-01819666

Porting the Pip proto-kernel's model to multi-core environments

Συγγραφείς: Bergougnoux, Quentin, Grimaud, Gilles, Iguchi-Cartigny, Julien

Συνεισφορές: Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche sur les Composants logiciels et matériels pour l'Information et la Communication Avancée - UAR 3380 (IRCICA), Université de Lille-Centre National de la Recherche Scientifique (CNRS)

Πηγή: 16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018).
https://hal.science/hal-01819676
16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018)., Aug 2018, Athens, Greece

Θεματικοί όροι: ACM: D.: Software/D.4: OPERATING SYSTEMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Θέμα γεωγραφικό: Athens, Greece

Διαθεσιμότητα: https://hal.science/hal-01819676

On Asymmetric Progress Conditions

Συγγραφείς: Imbs, Damien, Raynal, Michel, Taubenfeld, Gadi

Συνεισφορές: As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Interdisciplinay Center Herzliya - Israel (IDC), Interdisciplinay Center Herzliya

Πηγή: https://inria.hal.science/inria-00486977 ; [Research Report] PI-1952, 2010, pp.15.

Θεματικοί όροι: Wait-freedom, Asynchronous system, Consensus number, Fault-Tolerance, Liveness, Obstruction-freedom, Process crash, Progress condition, Shared memory system, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Διαθεσιμότητα: https://inria.hal.science/inria-00486977
https://inria.hal.science/inria-00486977/document
https://inria.hal.science/inria-00486977/file/PI-1952.pdf

The k-simultaneous consensus problem

Συγγραφείς: Afek, Yehuda, Gafni, Eli, Rajsbaum, Sergio, Raynal, Michel, Travers, Corentin

Συνεισφορές: School of Computer Science (TAU-CS), Tel Aviv University (TAU), Computer Science Department Los Angeles (UCLA), University of California Los Angeles (UCLA), University of California (UC)-University of California (UC), Instituto de Matematicas México, Universidad Nacional Autónoma de México = National Autonomous University of Mexico (UNAM), As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Department of Computer Science Haifa, University of Haifa Haifa

Πηγή: https://inria.hal.science/inria-00354248 ; [Research Report] PI 1920, 2009, pp.17.

Θεματικοί όροι: Asynchronous shared memory systems, Binary vs multivalued agreement, Consensus, Distributed computability, Process crash, Set agreement, Wait-free construction, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Relation: Report N°: PI 1920

Διαθεσιμότητα: https://inria.hal.science/inria-00354248
https://inria.hal.science/inria-00354248/document
https://inria.hal.science/inria-00354248/file/PI-1920.pdf