Výsledky vyhľadávania - "ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES"

Upresniť hľadanie
  1. 1

    Satellite Altimetry and Gravimetry Data for Mapping Marine Geodetic and Geophysical Setting of the Seychelles and the Somali Sea, Indian Ocean

    Autori: Lemenkova, Polina Debeir, O Ecole Polytechnique de Bruxelles a ďalší

    Prispievatelia: Lemenkova, Polina Debeir, O Ecole Polytechnique de Bruxelles a ďalší

    Zdroj: ISSN: 2247-3769 ; Journal of Applied Engineering Sciences ; https://hal.archives-ouvertes.fr/hal-03898896 ; Journal of Applied Engineering Sciences, 2022, 12(25) (2), pp.191-202. ⟨10.2478/jaes-2022-0026⟩ ; https://arhicon.uoradea.ro/ro/cercetare/journal-of-applied-engineering-sciences-jaes/238-latest-issue.

    Predmety: GIS, Somali Sea, Seychelles, Indian Ocean, Cartography, GMT, Geophysics, Earth Science, Computer Science, Graphics, Data visualisation, Mapping, Geodynamic, ACM: I.: Computing Methodologies, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.6: Methodology and Techniques, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.6: Methodology and Techniques/I.3.6.2: Graphics data structures and data types, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.6: Methodology and Techniques/I.3.6.4: Languages, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.6: Methodology and Techniques/I.3.6.3: Interaction techniques, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, [SDU.OCEAN]Sciences of the Universe [physics]/Ocean, Atmosphere, [SDU]Sciences of the Universe [physics], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [SDU.STU]Sciences of the Universe [physics]/Earth Sciences, [SDE]Environmental Sciences, [SDU.ENVI]Sciences of the Universe [physics]/Continental interfaces

    Relation: hal-03898896; https://hal.archives-ouvertes.fr/hal-03898896; https://hal.archives-ouvertes.fr/hal-03898896/document; https://hal.archives-ouvertes.fr/hal-03898896/file/Lemenkova-Debeir_art.346_12%2825%292_pp.191-202.pdf

    Dostupnosť: https://hal.archives-ouvertes.fr/hal-03898896
    https://hal.archives-ouvertes.fr/hal-03898896/document
    https://hal.archives-ouvertes.fr/hal-03898896/file/Lemenkova-Debeir_art.346_12%2825%292_pp.191-202.pdf
    https://doi.org/10.2478/jaes-2022-0026

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  2. 2

    Correct-by-construction model driven engineering composition operators

    Autori: Kezadri, Mounira Pantel, Marc Thirioux, Xavier a ďalší

    Prispievatelia: Kezadri, Mounira Pantel, Marc Thirioux, Xavier a ďalší

    Zdroj: Formal Aspects of Computing. 28:409-440

    Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, MDE, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software, 01 natural sciences, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, Formal verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, 0202 electrical engineering, electronic engineering, information engineering, Proof assistant, MOF, Composition

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  3. 3

    Time-efficient read/write register in crash-prone asynchronous message-passing systems

    Autori: Matthieu Roy Michel Raynal Achour Mostefaoui a ďalší

    Prispievatelia: Matthieu Roy Michel Raynal Achour Mostefaoui a ďalší

    Zdroj: Lecture Notes in Computer Science ISBN: 9783319461397

    Predmety: Synchronous behavior, FOS: Computer and information sciences, [INFO.INFO-DC]Computer Science [cs]/Distributed, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, Process crash failure, Time-efficient operation, Atomic read/write register, 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software, Parallel, 01 natural sciences, Asynchronous message-passing system, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, and Cluster Computing [cs.DC], Computer Science - Distributed, Parallel, and Cluster Computing, Concurrency, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), Fast operation

    Popis súboru: application/pdf

    Prístupová URL adresa: http://arxiv.org/pdf/1601.04820
    http://arxiv.org/abs/1601.04820
    https://inria.hal.science/hal-01256067v1
    https://inria.hal.science/hal-01256067v1/document
    https://laas.hal.science/hal-01784210v1
    https://doi.org/10.1007/s00607-018-0615-8
    https://laas.hal.science/hal-01784210v1/document
    https://dblp.uni-trier.de/db/journals/computing/computing101.html#MostefaouiRR19
    https://hal.laas.fr/hal-01784210
    https://link.springer.com/article/10.1007/s00607-018-0615-8
    https://hal.archives-ouvertes.fr/hal-01784210
    https://hal.laas.fr/hal-01784210/document
    https://link.springer.com/content/pdf/10.1007%2Fs00607-018-0615-8.pdf
    https://hal.archives-ouvertes.fr/hal-02056397/document
    https://link.springer.com/chapter/10.1007%2F978-3-319-46140-3_21
    https://hal.archives-ouvertes.fr/hal-02056397
    https://dblp.uni-trier.de/db/journals/corr/corr1601.html#MostefaouiR16
    https://doi.org/10.1007/978-3-319-46140-3_21
    https://hal.inria.fr/hal-01256067

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  4. 4

    Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative

    Autori: Blin, Lélia Tixeuil, Sébastien Université d'Évry-Val-d'Essonne (UEVE) a ďalší

    Prispievatelia: Blin, Lélia Tixeuil, Sébastien Université d'Évry-Val-d'Essonne (UEVE) a ďalší

    Zdroj: ISSN: 0178-2770.

    Predmety: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO]Computer Science [cs], [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-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

    Dostupnosť: https://hal.sorbonne-universite.fr/hal-01486763
    https://hal.sorbonne-universite.fr/hal-01486763v1/document
    https://hal.sorbonne-universite.fr/hal-01486763v1/file/Journal_LeaderTalk.pdf
    https://doi.org/10.1007/s00446-017-0294-2

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  5. 5

    Fault-recovery and Coherence in Internet of Things Choreographies

    Autori: Cherrier, Sylvain Ghamri-Doudane, Yacine Laboratoire d'Informatique Gaspard-Monge (LIGM) a ďalší

    Prispievatelia: Cherrier, Sylvain Ghamri-Doudane, Yacine Laboratoire d'Informatique Gaspard-Monge (LIGM) a ďalší

    Zdroj: ISSN: 1935-570X ; International Journal of Information Technologies and Systems Approach ; https://hal.science/hal-01509183 ; International Journal of Information Technologies and Systems Approach, 2017, 10 (2), ⟨10.4018/IJITSA.2017070103⟩ ; www.igi-global.com.

    Predmety: Fault-recovery, Fault-tolerance, Services Choreography, Internet of Things, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

    Dostupnosť: https://hal.science/hal-01509183
    https://hal.science/hal-01509183v1/document
    https://hal.science/hal-01509183v1/file/Fault.pdf
    https://doi.org/10.4018/IJITSA.2017070103

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  6. 6

    The complexity of data aggregation in static and dynamic wireless sensor networks

    Autori: Bramas, Quentin Tixeuil, Sébastien Networks and Performance Analysis (NPA) a ďalší

    Prispievatelia: Bramas, Quentin Tixeuil, Sébastien Networks and Performance Analysis (NPA) a ďalší

    Zdroj: ISSN: 0890-5401.

    Predmety: Dynamic graphs, Complexity, Data aggregation, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO]Computer Science [cs], [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-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

    Dostupnosť: https://hal.sorbonne-universite.fr/hal-01419900
    https://hal.sorbonne-universite.fr/hal-01419900v1/document
    https://hal.sorbonne-universite.fr/hal-01419900v1/file/Bramas_The_complexity_of.pdf
    https://doi.org/10.1016/j.ic.2016.12.004

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  7. 7

    Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots

    Autori: Balabonski, Thibaut Courtieu, Pierre Pelle, Robin a ďalší

    Prispievatelia: Balabonski, Thibaut Courtieu, Pierre Pelle, Robin a ďalší

    Zdroj: https://hal.sorbonne-universite.fr/hal-01762962 ; [Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12.

    Predmety: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]

    Relation: https://hal.science/hal-02115599v1

    Dostupnosť: https://hal.sorbonne-universite.fr/hal-01762962
    https://hal.sorbonne-universite.fr/hal-01762962v1/document
    https://hal.sorbonne-universite.fr/hal-01762962v1/file/main_tr.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  8. 8

    Churn Possibilities and Impossibilities

    Autori: Foreback, Dianne Nesterenko, Mikhail Tixeuil, Sébastien a ďalší

    Prispievatelia: Foreback, Dianne Nesterenko, Mikhail Tixeuil, Sébastien a ďalší

    Zdroj: https://hal.sorbonne-universite.fr/hal-01753397 ; [Research Report] Kent State University; Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018.

    Predmety: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [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], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

    Dostupnosť: https://hal.sorbonne-universite.fr/hal-01753397
    https://hal.sorbonne-universite.fr/hal-01753397v1/document
    https://hal.sorbonne-universite.fr/hal-01753397v1/file/infiniteSLfull.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  9. 9

    Read-Only Execution for Dynamic Languages

    Autori: Arnaud, Jean-Baptiste Denker, Marcus Ducasse, Stéphane a ďalší

    Prispievatelia: Arnaud, Jean-Baptiste Denker, Marcus Ducasse, Stéphane a ďalší

    Zdroj: TOOLS ; https://inria.hal.science/inria-00498377 ; TOOLS, Jun 2010, Malaga, Spain

    Predmety: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geografické téma: Malaga, Spain

    Dostupnosť: https://inria.hal.science/inria-00498377
    https://inria.hal.science/inria-00498377v1/document
    https://inria.hal.science/inria-00498377v1/file/Arna10a-Tools2010-ReadOnlyExecutionForDynamicLanguages.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  10. 10

    Outil logiciel HAZOP-UML - Document des cas d'utilisation

    Autori: Larré, Jean-Marc Cabrera Castillos, Kalou Guiochet, Jérémie a ďalší

    Prispievatelia: Larré, Jean-Marc Cabrera Castillos, Kalou Guiochet, Jérémie a ďalší

    Zdroj: https://laas.hal.science/hal-01613787 ; 2017.

    Predmety: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, 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.1: Requirements/Specifications/D.2.1.2: Methodologies (e.g., object-oriented, structured), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.3: Tools, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques/D.2.3.2: Program editors, [INFO]Computer Science [cs], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Dostupnosť: https://laas.hal.science/hal-01613787
    https://laas.hal.science/hal-01613787v1/document
    https://laas.hal.science/hal-01613787v1/file/Doc%20cas%20d%27utilisation-V5.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  11. 11

    Fast in-memory XPath search using compressed indexes

    Autori: Arroyuelo, Diego Claude, Francisco Maneth, Sebastian a ďalší

    Prispievatelia: Arroyuelo, Diego Claude, Francisco Maneth, Sebastian a ďalší

    Zdroj: ISSN: 0038-0644 ; EISSN: 1097-024X.

    Predmety: XPath, succinct data structures, tree automata, XML, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.0: Automata (e.g., finite, push-down, resource-bounded), [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

    Dostupnosť: https://hal.science/hal-00947659
    https://hal.science/hal-00947659v1/document
    https://hal.science/hal-00947659v1/file/main_plain.pdf
    https://doi.org/10.1002/spe.2227

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  12. 12

    An Enhancement of Decimation Process using Fast Cascaded Integrator Comb (CIC) Filter

    Autori: Teymourzadeh, Rozita Universiti Kebangsaan Malaysia (UKM) Faculty Of Education, Universiti Kebangsaan Malaysia (ukm), Malaysia

    Prispievatelia: Teymourzadeh, Rozita Universiti Kebangsaan Malaysia (UKM) Faculty Of Education, Universiti Kebangsaan Malaysia (ukm), Malaysia

    Zdroj: IEEE International Conference on Semiconductor Electronics. Malaysia, pp. 811-815 ; https://hal.archives-ouvertes.fr/hal-01800578 ; IEEE International Conference on Semiconductor Electronics. Malaysia, pp. 811-815, 2006, Kuala Lumpur, Malaysia

    Predmety: ACM: D.: Software, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: G.: Mathematics of Computing, ACM: H.: Information Systems, ACM: B.: Hardware/B.6: LOGIC DESIGN, ACM: B.: Hardware/B.7: INTEGRATED CIRCUITS, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

    Geografické téma: Kuala Lumpur, Malaysia

    Relation: hal-01800578; https://hal.archives-ouvertes.fr/hal-01800578; https://hal.archives-ouvertes.fr/hal-01800578/document; https://hal.archives-ouvertes.fr/hal-01800578/file/2005%20An%20Enhancement%20of%20Decimation%20Process%20using%20Fast%20Cascaded%20Integrator%20Comb%20%28CIC%29%20Filter.pdf

    Dostupnosť: https://hal.archives-ouvertes.fr/hal-01800578
    https://hal.archives-ouvertes.fr/hal-01800578/document
    https://hal.archives-ouvertes.fr/hal-01800578/file/2005%20An%20Enhancement%20of%20Decimation%20Process%20using%20Fast%20Cascaded%20Integrator%20Comb%20%28CIC%29%20Filter.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  13. 13

    Exploiting multi-objective parallel extremal optimization features in dynamic load balancing

    Autori: de Falco, Ivanoe Laskowski, Eryk Olejnik, Richard a ďalší

    Prispievatelia: de Falco, Ivanoe Laskowski, Eryk Olejnik, Richard a ďalší

    Zdroj: GECCO '20: Genetic and Evolutionary Computation Conference ; https://hal.science/hal-03034619 ; GECCO '20: Genetic and Evolutionary Computation Conference, Jul 2020, Cancún Mexico, France. pp.1712-1720, ⟨10.1145/3377929.3398134⟩

    Predmety: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

    Geografické téma: Cancún Mexico, France

    Dostupnosť: https://hal.science/hal-03034619
    https://doi.org/10.1145/3377929.3398134

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  14. 14

    Systèmes de gestion de ressources et aspects de disponibilité

    Autori: Fradet, Pascal Hong Tuan Ha, Stéphane Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) a ďalší

    Prispievatelia: Fradet, Pascal Hong Tuan Ha, Stéphane Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART) a ďalší

    Zdroj: 2ème Journée Francophone sur le Développement de Logiciels Par Aspects
    https://inria.hal.science/inria-00000944
    2ème Journée Francophone sur le Développement de Logiciels Par Aspects, Sep 2005, Lille, pp.183-210

    Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Dostupnosť: https://inria.hal.science/inria-00000944
    https://inria.hal.science/inria-00000944/document
    https://inria.hal.science/inria-00000944/file/JFDLPA05.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  15. 15

    A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets

    Autori: Banâtre, Jean-Pierre Fradet, Pascal Radenac, Yann a ďalší

    Prispievatelia: Banâtre, Jean-Pierre Fradet, Pascal Radenac, Yann a ďalší

    Zdroj: First International Workshop on New Developments in Computational Models ; https://inria.hal.science/inria-00000943 ; First International Workshop on New Developments in Computational Models, Jul 2005, Lisbon

    Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Dostupnosť: https://inria.hal.science/inria-00000943
    https://inria.hal.science/inria-00000943/document
    https://inria.hal.science/inria-00000943/file/DCM05.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  16. 16

    Un procédé de validation des métamodèles par les métadonnées

    Autori: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS a ďalší

    Prispievatelia: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS a ďalší

    Zdroj: IDM'O5 ; Premières journées sur l'ingénierie dirigée par les modèles ; https://hal.univ-brest.fr/hal-01448494 ; Premières journées sur l'ingénierie dirigée par les modèles, Jun 2005, Paris, France

    Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Geografické téma: Paris, France

    Relation: hal-01448494; https://hal.univ-brest.fr/hal-01448494; https://hal.univ-brest.fr/hal-01448494/document; https://hal.univ-brest.fr/hal-01448494/file/Un_procede_de_validation_des_metamodeles_par_les_metadonnees.pdf

    Dostupnosť: https://hal.univ-brest.fr/hal-01448494
    https://hal.univ-brest.fr/hal-01448494/document
    https://hal.univ-brest.fr/hal-01448494/file/Un_procede_de_validation_des_metamodeles_par_les_metadonnees.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  17. 17

    Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems

    Autori: Mostefaoui, Achour Raynal, Michel Laboratoire d'Informatique de Nantes Atlantique (LINA) a ďalší

    Prispievatelia: Mostefaoui, Achour Raynal, Michel Laboratoire d'Informatique de Nantes Atlantique (LINA) a ďalší

    Zdroj: https://inria.hal.science/hal-01256067 ; [Research Report] IRISA. 2016, pp.14.

    Predmety: Fast operation, Atomic read/write register, Concurrency, Asynchronous message-passing system, Process crash failure, Synchronous behavior, Time-efficient operation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: D.: Software, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

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

    Dostupnosť: https://inria.hal.science/hal-01256067
    https://inria.hal.science/hal-01256067/document
    https://inria.hal.science/hal-01256067/file/Fast-operations-RW-V10.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  18. 18

    Composition, reuse and interaction analysis of stateful aspects

    Autori: Douence, Rémi Fradet, Pascal Südholt, Mario a ďalší

    Prispievatelia: Douence, Rémi Fradet, Pascal Südholt, Mario a ďalší

    Zdroj: 3rd International Conferance on Aspect-Oriented Software Development
    https://inria.hal.science/inria-00000946
    3rd International Conferance on Aspect-Oriented Software Development, Mar 2004, Lancaster, UK

    Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Dostupnosť: https://inria.hal.science/inria-00000946
    https://inria.hal.science/inria-00000946v1/document
    https://inria.hal.science/inria-00000946v1/file/AOSD04.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  19. 19

    Trace-Based Aspects

    Autori: Douence, Rémi Fradet, Pascal Südholt, Mario a ďalší

    Prispievatelia: Douence, Rémi Fradet, Pascal Südholt, Mario a ďalší

    Zdroj: Aspect-Oriented Software Development ; https://inria.hal.science/inria-00000947 ; Mehmet Aksit, Siobhán Clarke, Tzilla Elrad, Robert Filman. Aspect-Oriented Software Development, Addison-Wesley, 2004

    Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Dostupnosť: https://inria.hal.science/inria-00000947
    https://inria.hal.science/inria-00000947v1/document
    https://inria.hal.science/inria-00000947v1/file/AW.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  20. 20

    Principles of Chemical Programming

    Autori: Banâtre, Jean-Pierre Fradet, Pascal Radenac, Yann a ďalší

    Prispievatelia: Banâtre, Jean-Pierre Fradet, Pascal Radenac, Yann a ďalší

    Zdroj: 5th International Workshop on Rule-Based Programming
    https://inria.hal.science/inria-00000942
    5th International Workshop on Rule-Based Programming, Jun 2004, Aachen

    Predmety: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Dostupnosť: https://inria.hal.science/inria-00000942
    https://inria.hal.science/inria-00000942/document
    https://inria.hal.science/inria-00000942/file/RULE04.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených

Vyhľadávacie nástroje: