Výsledky vyhledávání - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution"

Binary level toolchain provenance identification with graph neural networks

Autoři: Benoit, Tristan Marion, Jean-Yves Bardin, Sébastien a další

Přispěvatelé: Benoit, Tristan Marion, Jean-Yves Bardin, Sébastien a další

Zdroj: SANER 2021 - 28th IEEE International Conference on Software Analysis, Evolution and Reengineering ; https://hal.science/hal-03447628 ; SANER 2021 - 28th IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2021, Honolulu / Virtual, United States. pp.131-141, ⟨10.1109/SANER50967.2021.00021⟩ ; https://saner2021.shidler.hawaii.edu

Témata: binary code analysis, graph neural networks, toolchain provenance, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement/D.2.7.5: Restructuring, reverse engineering, and reengineering, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

Geografické téma: Honolulu / Virtual, United States

Relation: info:eu-repo/grantAgreement//830927/EU/Cyber security cOmpeteNCe fOr Research anD InnovAtion/CONCORDIA

Dostupnost: https://hal.science/hal-03447628
https://hal.science/hal-03447628v1/document
https://hal.science/hal-03447628v1/file/SANER_2021_CAMERA_READY_1.pdf
https://doi.org/10.1109/SANER50967.2021.00021

Compiler and optimization level recognition using graph neural networks

Autoři: Bardin, Sébastien Benoit, Tristan Marion, Jean-Yves a další

Přispěvatelé: Bardin, Sébastien Benoit, Tristan Marion, Jean-Yves a další

Zdroj: MLPA 2020 - Machine Learning for Program Analysis ; https://hal.science/hal-03270335 ; MLPA 2020 - Machine Learning for Program Analysis, Jan 2021, Yokohama / Virtual, Japan ; https://sites.google.com/view/mlpa2020

Témata: toolchain provenance, machine learning, reverse engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement/D.2.7.5: Restructuring, and reengineering, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

Geografické téma: Yokohama / Virtual, Japan

Dostupnost: https://hal.science/hal-03270335
https://hal.science/hal-03270335v1/document
https://hal.science/hal-03270335v1/file/Workshop_MLBA_MLPA_2020.pdf

Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

Autoři: Felgentreff, Tim Zendra, Olivier Oracle Labs a další

Přispěvatelé: Felgentreff, Tim Zendra, Olivier Oracle Labs a další

Zdroj: 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018
https://inria.hal.science/hal-02314731
Tim Felgentreff
Olivier Zendra. 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018, Jul 2018, Amsterdam, Netherlands. ACM, 2018, 978-1-4503-5804-0
https://dl.acm.org/citation.cfm?doid=3242947

Témata: compilation, languages, implementation, optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Amsterdam, Netherlands

Dostupnost: https://inria.hal.science/hal-02314731
https://inria.hal.science/hal-02314731v1/document
https://inria.hal.science/hal-02314731v1/file/frontmatter.pdf

On the Diversity of Capturing Variability at the Implementation Level

Autoři: Tërnava, Xhevahire Collet, Philippe Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS) a další

Přispěvatelé: Tërnava, Xhevahire Collet, Philippe Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS) a další

Zdroj: the 21st International Systems and Software Product Line Conference - Volume B ; https://hal.science/hal-01699883 ; the 21st International Systems and Software Product Line Conference - Volume B, Sep 2017, Sevilla, France. ⟨10.1145/3109729.3109733⟩

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software/D.2.13.0: Domain engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design/D.2.10.1: Representation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement/D.2.7.5: Restructuring, reverse engineering, and reengineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Sevilla, France

Dostupnost: https://hal.science/hal-01699883
https://hal.science/hal-01699883v1/document
https://hal.science/hal-01699883v1/file/REVE17-HAL.pdf
https://doi.org/10.1145/3109729.3109733

High Costs and Small Benefits: A Field Study of How Users Experience Operating System Upgrades

Autoři: Vitale, Francesco Mcgrenere, Joanna Tabard, Aurélien a další

Přispěvatelé: Vitale, Francesco Mcgrenere, Joanna Tabard, Aurélien a další

Zdroj: CHI 2017 ; https://hal.science/hal-01493415 ; CHI 2017, May 2017, Denver, United States. pp. 4242-4253 ⟨10.1145/3025453.3025509⟩ ; https://chi2017.acm.org/

Témata: Software upgrades, observational study, qualitative analysis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.5: Security and Protection, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]

Geografické téma: Denver, United States

Relation: info:eu-repo/grantAgreement//321135/EU/Creating Co-Adaptive Human-Computer Partnerships/CREATIV

Dostupnost: https://hal.science/hal-01493415
https://hal.science/hal-01493415v1/document
https://hal.science/hal-01493415v1/file/CHI_2017_Upgrades.pdf
https://doi.org/10.1145/3025453.3025509

Re-run, Repeat, Reproduce, Reuse, Replicate: Transforming Code into Scientific Contributions

Autoři: Benureau, Fabien Rougier, Nicolas Mnemonic Synergy (Mnemosyne) a další

Přispěvatelé: Benureau, Fabien Rougier, Nicolas Mnemonic Synergy (Mnemosyne) a další

Zdroj: ISSN: 1662-5196 ; Frontiers in Neuroinformatics ; https://hal.inria.fr/hal-01577578 ; Frontiers in Neuroinformatics, Frontiers, 2018, 11, ⟨10.3389/fninf.2017.00069⟩.

Témata: Openscience, Replication, Reproducibility, Replicability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement/D.2.7.6: Version control, and Enhancement/D.2.7.4: Portability, and Enhancement/D.2.7.1: Documentation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE], [INFO.INFO-CY]Computer Science [cs]/Computers and Society [cs.CY]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1708.08205; hal-01577578; https://hal.inria.fr/hal-01577578; https://hal.inria.fr/hal-01577578v2/document; https://hal.inria.fr/hal-01577578v2/file/draft.pdf; ARXIV: 1708.08205

Dostupnost: https://hal.inria.fr/hal-01577578
https://hal.inria.fr/hal-01577578v2/document
https://hal.inria.fr/hal-01577578v2/file/draft.pdf
https://doi.org/10.3389/fninf.2017.00069

Safe reconfiguration of Coqcots and Pycots components

Autoři: Buisson, Jérémy Dagnat, Fabien Leroux, Elena a další

Přispěvatelé: Buisson, Jérémy Dagnat, Fabien Leroux, Elena a další

Zdroj: ISSN: 0164-1212 ; Journal of Systems and Software ; https://hal.science/hal-01235602 ; Journal of Systems and Software, 2016, 122, pp.430-444. ⟨10.1016/j.jss.2015.11.039⟩ ; http://www.sciencedirect.com/science/article/pii/S0164121215002630.

Témata: DSU, Python, Coq, runtime evolution, Coqcots, component model, dynamic software updating, Dynamic reconfiguration, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnost: https://hal.science/hal-01235602
https://hal.science/hal-01235602v1/document
https://hal.science/hal-01235602v1/file/main.pdf
https://doi.org/10.1016/j.jss.2015.11.039

A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering

Autoři: Bhatti, Muhammad Usman Anquetil, Nicolas Huchard, Marianne a další

Přispěvatelé: Bhatti, Muhammad Usman Anquetil, Nicolas Huchard, Marianne a další

Zdroj: SEKE 2012 - 24th International Conference on Software Engineering & Knowledge Engineering ; https://inria.hal.science/hal-00700046 ; SEKE 2012 - 24th International Conference on Software Engineering & Knowledge Engineering, Jul 2012, San Francisco Bay, United States. pp.118-124

Témata: Restructuring, Patterns, Program design, Formal Concept Analysis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement/D.2.7.5: Restructuring, reverse engineering, and reengineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: San Francisco Bay, United States

Dostupnost: https://inria.hal.science/hal-00700046
https://inria.hal.science/hal-00700046v1/document
https://inria.hal.science/hal-00700046v1/file/SK12-Bhatti-Final.pdf

Fractal à la Coq

Autoři: Gaspar, Nuno Madelaine, Eric Active objects, semantics, Internet and security (OASIS) a další

Přispěvatelé: Gaspar, Nuno Madelaine, Eric Active objects, semantics, Internet and security (OASIS) a další

Zdroj: Conférence en IngénieriE du Logiciel ; https://inria.hal.science/hal-00725291 ; Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France

Témata: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Rennes, France

Dostupnost: https://inria.hal.science/hal-00725291
https://inria.hal.science/hal-00725291v2/document
https://inria.hal.science/hal-00725291v2/file/paper-a4.pdf

Towards a Classification of Logical Dependencies Origins: A Case Study

Autoři: Oliva, Gustavo Santana, Francisco Gerosa, Marco Aurelio a další

Přispěvatelé: Oliva, Gustavo Santana, Francisco Gerosa, Marco Aurelio a další

Zdroj: ESEC/FSE - 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution ; https://hal.inria.fr/inria-00638071 ; ESEC/FSE - 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution, Sep 2011, Szeged, Hungary. pp.31--40, ⟨10.1145/2024445.2024452⟩

Témata: change coupling, logical coupling, Software evolution, mining software repositories, logical dependencies, empirical software engineering, case study, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Szeged, Hungary

Relation: info:eu-repo/grantAgreement/EC/FP7/257178/EU/Large Scale Choreographies for the Future Internet/CHOREOS; inria-00638071; https://hal.inria.fr/inria-00638071; https://hal.inria.fr/inria-00638071/document; https://hal.inria.fr/inria-00638071/file/iwpse25-oliva2.pdf

Dostupnost: https://hal.inria.fr/inria-00638071
https://hal.inria.fr/inria-00638071/document
https://hal.inria.fr/inria-00638071/file/iwpse25-oliva2.pdf
https://doi.org/10.1145/2024445.2024452

The Python user interface of the elsA CFD software: a coupling framework for external steering layers

Autoři: Lazareff, Marc ONERA - The French Aerospace Lab Châtillon ONERA-Université Paris Saclay (COmUE) a další

Přispěvatelé: Lazareff, Marc ONERA - The French Aerospace Lab Châtillon ONERA-Université Paris Saclay (COmUE) a další

Zdroj: https://hal.science/hal-01348159 ; 2016.

Témata: context checking, UX, user interface, extensibility, Python, CFD, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.12: User interfaces, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques/D.2.3.0: Object-oriented programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement/D.2.7.3: Extensibility, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [SPI.MECA.MEFL]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Fluids mechanics [physics.class-ph]

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

Dostupnost: https://hal.science/hal-01348159
https://hal.science/hal-01348159v3/document
https://hal.science/hal-01348159v3/file/paper_UI.pdf

Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp

Autoři: Bonomi, Silvia del Pozzo, Antonella Potop-Butucaru, Maria a další

Přispěvatelé: Bonomi, Silvia del Pozzo, Antonella Potop-Butucaru, Maria a další

Zdroj: https://hal.sorbonne-universite.fr/hal-01362193 ; [Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2016.

Témata: ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

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

Dostupnost: https://hal.sorbonne-universite.fr/hal-01362193
https://hal.sorbonne-universite.fr/hal-01362193v2/document
https://hal.sorbonne-universite.fr/hal-01362193v2/file/mainTR.pdf

A Generic Platform for Name Resolution in Source Code Analysis

Autoři: Anquetil, Nicolas Tymchuk, Yuriy Etien, Anne a další

Přispěvatelé: Anquetil, Nicolas Tymchuk, Yuriy Etien, Anne a další

Zdroj: https://inria.hal.science/hal-01664258 ; [Research Report] Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille. 2014.

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnost: https://inria.hal.science/hal-01664258
https://inria.hal.science/hal-01664258v1/document
https://inria.hal.science/hal-01664258v1/file/paper.pdf

Hiding Design-Decisions in Service-Oriented Software via Service Abstraction Recovery

Autoři: Athanasopoulos, Dionysis Zarras, Apostolos Issarny, Valérie a další

Přispěvatelé: Athanasopoulos, Dionysis Zarras, Apostolos Issarny, Valérie a další

Zdroj: https://hal.inria.fr/inria-00491349 ; [Research Report] 2010.

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: inria-00491349; https://hal.inria.fr/inria-00491349; https://hal.inria.fr/inria-00491349v2/document; https://hal.inria.fr/inria-00491349v2/file/AbstractionRecoveryHal.pdf

Dostupnost: https://hal.inria.fr/inria-00491349
https://hal.inria.fr/inria-00491349v2/document
https://hal.inria.fr/inria-00491349v2/file/AbstractionRecoveryHal.pdf

ARéVi : une boı̂te à outils 3D pour des applications coopératives

Autoři: Duval, Thierry Morvan, Sylvain Reignier, P a další

Přispěvatelé: Duval, Thierry Morvan, Sylvain Reignier, P a další

Zdroj: ISSN: 1638-3672 ; Réseaux et systèmes répartis, calculateurs parallèles ; https://hal.science/hal-01293515 ; Réseaux et systèmes répartis, calculateurs parallèles, 1997, Numéro spécial sur la coopération, 9 (2), pp.239-250.

Témata: Program Dynamic Evolution 1, Groupware, CSCW, Virtual Reality Toolkit, Multi-Agents Systems, 3D Simulation, Distributed Virtual Reality, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.1: Multimedia Information Systems/H.5.1.1: Artificial, augmented, and virtual realities, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]

Dostupnost: https://hal.science/hal-01293515
https://hal.science/hal-01293515v1/document
https://hal.science/hal-01293515v1/file/CalculateursParall%C3%A8les1997.pdf

Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers

Autoři: Padioleau, Yoann Rydhof Hansen, René Lawall, Julia, L. a další

Přispěvatelé: Padioleau, Yoann Rydhof Hansen, René Lawall, Julia, L. a další

Zdroj: https://inria.hal.science/inria-00123142 ; [Research Report] RR-6090, INRIA. 2007.

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Dostupnost: https://inria.hal.science/inria-00123142
https://inria.hal.science/inria-00123142v2/document
https://inria.hal.science/inria-00123142v2/file/RR-6090.pdf

Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015, Prague, Czech Republic, July 6, 2015

Autoři: Morandat, Floréal Zendra, Olivier Laboratoire Bordelais de Recherche en Informatique (LaBRI) a další

Přispěvatelé: Morandat, Floréal Zendra, Olivier Laboratoire Bordelais de Recherche en Informatique (LaBRI) a další

Zdroj: 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015
https://inria.hal.science/hal-01546055
Floréal Morandat
Olivier Zendra. 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015, Jul 2015, Prague, Czech Republic. ACM, 2015, 978-1-4503-3657-4. ⟨10.1145/2843915⟩
http://dl.acm.org/citation.cfm?doid=2843915

Témata: compilation, languages, implementation, optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Prague, Czech Republic

Dostupnost: https://inria.hal.science/hal-01546055
https://doi.org/10.1145/2843915

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property

Autoři: Blin, Lélia Potop-Butucaru, Maria Rovedakis, Stephane a další

Přispěvatelé: Blin, Lélia Potop-Butucaru, Maria Rovedakis, Stephane a další

Zdroj: ISSN: 0010-4620.

Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

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

Dostupnost: https://hal.sorbonne-universite.fr/hal-01269828
https://doi.org/10.1093/comjnl/bxv110

Practically stabilizing SWMR atomic memory in message passing systems

Autoři: Alon, Noga Attiya, Hagit Dolev, Shlomi a další

Přispěvatelé: Alon, Noga Attiya, Hagit Dolev, Shlomi a další

Zdroj: ISSN: 0022-0000.

Témata: self-stabilization, fault-tolerance, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Dostupnost: https://hal.sorbonne-universite.fr/hal-01123697
https://doi.org/10.1016/j.jcss.2014.11.014

Towards Decentralized Service Orchestrations

Autoři: Yildiz, Ustun Godart, Claude Environment for cooperation (ECOO) a další

Přispěvatelé: Yildiz, Ustun Godart, Claude Environment for cooperation (ECOO) a další

Zdroj: The 22nd Annual ACM Symposium on Applied Computing - SAC'2007 ; https://inria.hal.science/inria-00110624 ; The 22nd Annual ACM Symposium on Applied Computing - SAC'2007, Seoul National University in Seoul and Suwon University in Gyeonggi-do, Mar 2007, Seoul, South Korea. pp.1662-1666, ⟨10.1145/1244002.1244354⟩

Témata: SOA, Workflow, Business Process Management, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: H.: Information Systems/H.4: INFORMATION SYSTEMS APPLICATIONS, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Geografické téma: Seoul, South Korea

Dostupnost: https://inria.hal.science/inria-00110624
https://doi.org/10.1145/1244002.1244354