Suchergebnisse - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques

Creation of an integrated molecular dynamics workflow on the Galaxy platform : Characterization of aquaporin pores

Autoren: Petit, Agnès-Elisabeth Venisse, Jean-Stéphane Label, Philippe et al.

Weitere Verfasser: Petit, Agnès-Elisabeth Venisse, Jean-Stéphane Label, Philippe et al.

Quelle: JOBIM ; https://uca.hal.science/hal-03716631 ; JOBIM, Jul 2022, Rennes, France. ; https://jobim2022.sciencesconf.org/

Schlagwörter: molecular dynamics, aquaporins, galaxy, workflow, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, 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), [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BBM.BS]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Structural Biology [q-bio.BM], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-WB]Computer Science [cs]/Web

Geographisches Schlagwort: Rennes, France

Relation: hal-03716631; https://uca.hal.science/hal-03716631; https://uca.hal.science/hal-03716631/document; https://uca.hal.science/hal-03716631/file/poster_JOBIM2022_AE_Petit.pdf

Verfügbarkeit: https://uca.hal.science/hal-03716631
https://uca.hal.science/hal-03716631/document
https://uca.hal.science/hal-03716631/file/poster_JOBIM2022_AE_Petit.pdf

VisUML: Live & Interactive Diagrams

Autoren: Duruisseau, Mickaël Tarby, Jean-Claude Le Pallec, Xavier et al.

Weitere Verfasser: Duruisseau, Mickaël Tarby, Jean-Claude Le Pallec, Xavier et al.

Quelle: IHM-2017 ; 29ème conférence francophone sur l'Interaction Homme-Machine ; https://hal.science/hal-01577689 ; 29ème conférence francophone sur l'Interaction Homme-Machine, AFIHM, Aug 2017, Poitiers, France. 2 p ; http://ihm2017.afihm.org

Schlagwörter: Software Engineering, MDE, HCI, Human-Centered Design, Méta-Modèle, Conception Centrée sur l’Humain, Génie Logiciel, Ingénierie Dirigée par les Modèles, Interaction Homme-Machine, Papyrus, UML, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI), ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geographisches Schlagwort: Poitiers, France

Verfügbarkeit: https://hal.science/hal-01577689
https://hal.science/hal-01577689v1/document
https://hal.science/hal-01577689v1/file/visuml.pdf

Opening Polyhedral Compiler's Black Box

Autoren: Bagnères, Lénaïc Zinenko, Oleksandr Huot, Stéphane et al.

Weitere Verfasser: Bagnères, Lénaïc Zinenko, Oleksandr Huot, Stéphane et al.

Quelle: CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization ; https://inria.hal.science/hal-01253322 ; CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain ; http://cgo.org/cgo2016/

Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Geographisches Schlagwort: Spain

Time: Barcelona, Spain

Verfügbarkeit: https://inria.hal.science/hal-01253322
https://inria.hal.science/hal-01253322v1/document
https://inria.hal.science/hal-01253322v1/file/2015.09.18_Polyhedral_Compiler_White_Boxing.pdf

Clint: A Direct Manipulation Tool for Parallelizing Compute-Intensive Program Parts

Autoren: Zinenko, Oleksandr Huot, Stéphane Bastoul, Cédric et al.

Weitere Verfasser: Zinenko, Oleksandr Huot, Stéphane Bastoul, Cédric et al.

Quelle: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) ; https://inria.hal.science/hal-01055788 ; IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Jul 2014, Melbourne, Australia. pp.109-112

Schlagwörter: ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces/H.5.2.4: Graphical user interfaces (GUI), HCI)/H.5.2: User Interfaces/H.5.2.7: Interaction styles (e.g., commands, menus, forms, direct manipulation), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Geographisches Schlagwort: Melbourne, Australia

Verfügbarkeit: https://inria.hal.science/hal-01055788
https://inria.hal.science/hal-01055788v1/document
https://inria.hal.science/hal-01055788v1/file/Clint-VL_HCC_14.pdf

STEP-based CASE Tools cooperation

Autoren: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Weitere Verfasser: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Quelle: ICSE 2000. International Workshop on Constructing Software Engineering Tools (COSET 2000) ; https://hal.univ-brest.fr/hal-01450904 ; ICSE 2000. International Workshop on Constructing Software Engineering Tools (COSET 2000), Jun 2000, Limerick, Ireland ; http://dl.acm.org/citation.cfm?id=302969

Schlagwörter: EXPRESS, SDAI, STEP standard, CASE tools implementation, CASE tools interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geographisches Schlagwort: Limerick, Ireland

Verfügbarkeit: https://hal.univ-brest.fr/hal-01450904
https://hal.univ-brest.fr/hal-01450904v1/document
https://hal.univ-brest.fr/hal-01450904v1/file/COSET00.pdf

Manipulating Visualization, Not Codes

Autoren: Zinenko, Oleksandr Bastoul, Cédric Huot, Stéphane et al.

Weitere Verfasser: Zinenko, Oleksandr Bastoul, Cédric Huot, Stéphane et al.

Quelle: International Workshop on Polyhedral Compilation Techniques (IMPACT) ; https://inria.hal.science/hal-01100974 ; International Workshop on Polyhedral Compilation Techniques (IMPACT), Jan 2015, Amsterdam, Netherlands. pp.8 ; http://impact.gforge.inria.fr/impact2015/

Schlagwörter: ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces/H.5.2.4: Graphical user interfaces (GUI), HCI)/H.5.2: User Interfaces/H.5.2.7: Interaction styles (e.g., commands, menus, forms, direct manipulation), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Geographisches Schlagwort: Amsterdam, Netherlands

Verfügbarkeit: https://inria.hal.science/hal-01100974
https://inria.hal.science/hal-01100974v1/document
https://inria.hal.science/hal-01100974v1/file/paper.pdf

Préservation de la cohérence des transformations topologiques et géométriques

Autoren: Gauthier, Valentin Bellet, Thomas Belhaouari, Hakim et al.

Weitere Verfasser: Gauthier, Valentin Bellet, Thomas Belhaouari, Hakim et al.

Quelle: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)
https://hal.science/hal-01817884
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France

Schlagwörter: transformation de graphes, modélisation géométrique à base topologique, conditions syntaxiques, préservation de la cohérence, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Geographisches Schlagwort: Besançon, France

Verfügbarkeit: https://hal.science/hal-01817884
https://hal.science/hal-01817884v1/document
https://hal.science/hal-01817884v1/file/main.pdf

A Tracing Technique using Dynamic Bytecode Instrumentation of Java Applications and Libraries at Basic Block Level

Autoren: Caserta, Pierre Zendra, Olivier Real time and interoperability (TRIO) et al.

Weitere Verfasser: Caserta, Pierre Zendra, Olivier Real time and interoperability (TRIO) et al.

Quelle: 6th workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems 2011 (ICOOOLPS 2011)
https://inria.hal.science/inria-00613720
6th workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems 2011 (ICOOOLPS 2011), Ian Rogers, Jul 2011, Lancaster, United Kingdom

Schlagwörter: Dynamic, Bytecode, Instrumentation, Java, Tracing, Program Analysis, JRE, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.5: Object-oriented Programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.5: Object-oriented design methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques/D.2.3.0: Object-oriented programming, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geographisches Schlagwort: Lancaster, United Kingdom

Verfügbarkeit: https://inria.hal.science/inria-00613720
https://inria.hal.science/inria-00613720/document
https://inria.hal.science/inria-00613720/file/icooolps_2011_vitrail_tracing.pdf

Implementation of a Daemon for OpenBCI ; Implémentation d'un Démon pour OpenBCI

Autoren: Chabance, Maxime Cattan, Grégoire Maureille, Bastien et al.

Weitere Verfasser: Chabance, Maxime Cattan, Grégoire Maureille, Bastien et al.

Quelle: https://hal.science/hal-02091644 ; [Rapport Technique] IHMTEK. 2019.

Schlagwörter: Electroencephalography EEG, OpenBCI, P300, Driver, Software implementation, Electroencephalographie EEG, Pilote, Implémentation logicielle, ACM: B.: Hardware/B.4: INPUT/OUTPUT AND DATA COMMUNICATIONS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [SCCO.NEUR]Cognitive science/Neuroscience, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [SPI.TRON]Engineering Sciences [physics]/Electronics

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

Verfügbarkeit: https://hal.science/hal-02091644
https://hal.science/hal-02091644v1/document
https://hal.science/hal-02091644v1/file/OpenBCI_Rapport.pdf

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

Autoren: Larré, Jean-Marc Cabrera Castillos, Kalou Guiochet, Jérémie et al.

Weitere Verfasser: Larré, Jean-Marc Cabrera Castillos, Kalou Guiochet, Jérémie et al.

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

Schlagwörter: 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]

Verfügbarkeit: 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

Experiences using an Application Generator Builder

Autoren: Plantec, A Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Weitere Verfasser: Plantec, A Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Quelle: 12th IEEE International Conference on Software Engineering and Knowledge Engineering (SEKE'99)
https://hal.univ-brest.fr/hal-01450893
12th IEEE International Conference on Software Engineering and Knowledge Engineering (SEKE'99), Jun 1999, Kaiserlautern, Germany

Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geographisches Schlagwort: Kaiserlautern, Germany

Verfügbarkeit: https://hal.univ-brest.fr/hal-01450893
https://hal.univ-brest.fr/hal-01450893v1/document
https://hal.univ-brest.fr/hal-01450893v1/file/SEKE99.pdf

Using and Re-using Application Generators

Autoren: Plantec, A Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Weitere Verfasser: Plantec, A Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Quelle: ICSE'99 - International Workshop on Constructing Software Engineering Tools (COSET'99) ; https://hal.univ-brest.fr/hal-01450886 ; ICSE'99 - International Workshop on Constructing Software Engineering Tools (COSET'99), May 1999, Los Angeles, United States ; http://dl.acm.org/citation.cfm?id=337180.337822

Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geographisches Schlagwort: Los Angeles, United States

Verfügbarkeit: https://hal.univ-brest.fr/hal-01450886
https://hal.univ-brest.fr/hal-01450886v1/document
https://hal.univ-brest.fr/hal-01450886v1/file/COSET99.pdf

EUGENE: a STEP-based framework to build Application Generators

Autoren: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Weitere Verfasser: Plantec, Alain Ribaud, Vincent Lab-STICC_UBO_CACS_MOCS et al.

Quelle: CSIRO-Macquarie University ; 1st Australian Workshop on Constructing Software Engineering Tools ; https://hal.univ-brest.fr/hal-01078451 ; 1st Australian Workshop on Constructing Software Engineering Tools, CSIRO-Macquarie University, Nov 1998, Adelaide, Australia

Schlagwörter: meta-model, application generator, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geographisches Schlagwort: Adelaide, Australia

Verfügbarkeit: https://hal.univ-brest.fr/hal-01078451
https://hal.univ-brest.fr/hal-01078451v1/document
https://hal.univ-brest.fr/hal-01078451v1/file/AWCSET98.pdf

DIE: A Domain Specific Aspect Language for IDE Events

Autoren: Fabry, Johan Robbes, Romain Denker, Marcus et al.

Weitere Verfasser: Fabry, Johan Robbes, Romain Denker, Marcus et al.

Quelle: Articulos_ANID
Agencia Nacional de Investigación y Desarrollo
instacron:ANID
JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Artículos CONICYT
CONICYT Chile
instacron:CONICYT
Conicyt_qa
ANID
JUCS-Journal of Universal Computer Science 20(2): 135-168

Schlagwörter: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], IDE, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, development environment, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments, domain specific aspect languages, 02 engineering and technology, plugins, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], aspects, 0202 electrical engineering, electronic engineering, information engineering

Dateibeschreibung: application/pdf; text/html

Zugangs-URL: https://inria.hal.science/hal-00936376v1
https://hdl.handle.net/10533/137148
http://hdl.handle.net/10533/137148
https://repositorio-qa.anid.cl/handle/10533/137148
https://lib.jucs.org/article/22945/
https://doi.org/10.3217/jucs-020-02-0135
https://lib.jucs.org/article/22945/download/pdf/

Database access control within a Java application

Autoren: Plantec, Alain Ribaud, Vincent Saliou, Philippe et al.

Weitere Verfasser: Plantec, Alain Ribaud, Vincent Saliou, Philippe et al.

Quelle: International Workshop on Encapsulation and Access Rights in Object-Oriented Design and Programming (WEAR-OOIS 2003) ; https://hal.univ-brest.fr/hal-01451180 ; International Workshop on Encapsulation and Access Rights in Object-Oriented Design and Programming (WEAR-OOIS 2003), Sep 2003, Genève, Switzerland. pp.63-69 ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269762

Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geographisches Schlagwort: Genève, Switzerland

Verfügbarkeit: https://hal.univ-brest.fr/hal-01451180
https://hal.univ-brest.fr/hal-01451180v1/document
https://hal.univ-brest.fr/hal-01451180v1/file/WEAR03PlantecRibaudSaliou.pdf

JBInsTrace: A Tracer of Java and JRE Classes at Basic-Block Granularity by Dynamically Instrumenting Bytecode

Autoren: Caserta, Pierre Zendra, Olivier Real time and interoperability (TRIO) et al.

Weitere Verfasser: Caserta, Pierre Zendra, Olivier Real time and interoperability (TRIO) et al.

Quelle: ISSN: 0167-6423 ; Science of Computer Programming ; https://inria.hal.science/hal-00672976 ; Science of Computer Programming, 2012.

Schlagwörter: Java, Tracing, Dynamic, Bytecode, Instrumentation, Profiling, Program Analysis, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.5: Object-oriented Programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Verfügbarkeit: https://inria.hal.science/hal-00672976
https://inria.hal.science/hal-00672976v2/document
https://inria.hal.science/hal-00672976v2/file/JBInsTrace_A_Tracer_of_Java_and_JRE_Classes.pdf

Context-Oriented Image Processing ; Context-Oriented Image Processing: Reconciling genericity and performance through contexts

Autoren: Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) Ecole Pour l'Informatique et les Techniques Avancées (EPITA)

Weitere Verfasser: Verna, Didier Laboratoire de Recherche et de Développement de l'EPITA (LRDE) Ecole Pour l'Informatique et les Techniques Avancées (EPITA)

Quelle: Proceedings of the 7th Context-Oriented Programming Workshop ; ECOOP 2015 ; https://hal.archives-ouvertes.fr/hal-01542841 ; ECOOP 2015, Jul 2015, Prague, Czech Republic. ⟨10.1145/2786545.2786547⟩ ; http://2015.ecoop.org/

Schlagwörter: Performance, Genericity, Image Processing, Object-Oriented Programming, Context-Oriented Programming, Lisp, 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.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.11: Object-oriented languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.1: Classes and objects, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION/I.4.0: General/I.4.0.1: Image processing software, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO]Computer Science [cs], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Geographisches Schlagwort: Prague, Czech Republic

Relation: hal-01542841; https://hal.archives-ouvertes.fr/hal-01542841; https://hal.archives-ouvertes.fr/hal-01542841/document; https://hal.archives-ouvertes.fr/hal-01542841/file/verna.15.cop.pdf

Verfügbarkeit: https://hal.archives-ouvertes.fr/hal-01542841
https://hal.archives-ouvertes.fr/hal-01542841/document
https://hal.archives-ouvertes.fr/hal-01542841/file/verna.15.cop.pdf
https://doi.org/10.1145/2786545.2786547

Tempo Documentation - Interacting with a C Program Specializer

Autoren: Marlet, Renaud imagine Marne-la-Vallée Laboratoire d'Informatique Gaspard-Monge (LIGM) et al.

Weitere Verfasser: Marlet, Renaud imagine Marne-la-Vallée Laboratoire d'Informatique Gaspard-Monge (LIGM) et al.

Quelle: https://inria.hal.science/inria-00516990 ; [Technical Report] RT-0390, INRIA. 2010, pp.149.

Schlagwörter: C language, reference manual, user's guide, runtime specialization, compile-time specialization, partial evaluation, program specialization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.4: Interpreters, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.11: Translator writing systems and compiler generators, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Verfügbarkeit: https://inria.hal.science/inria-00516990
https://inria.hal.science/inria-00516990v1/document
https://inria.hal.science/inria-00516990v1/file/RT-0390.pdf

Developing efficient parsers in Prolog: the CLF manual (v1.0)

Autoren: Despeyroux, Thierry Usage-centered design, analysis and improvement of information systems (AxIS) Centre Inria d'Université Côte d'Azur et al.

Weitere Verfasser: Despeyroux, Thierry Usage-centered design, analysis and improvement of information systems (AxIS) Centre Inria d'Université Côte d'Azur et al.

Quelle: https://inria.hal.science/inria-00120518 ; [Technical Report] RT-0328, INRIA. 2006, pp.18.

Schlagwörter: lexical analysis, syntactical analysis, Lex, Prolog, DCG, Definite Clause Grammar, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.1: Syntax, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.SE/0612082; ARXIV: cs.SE/0612082

Verfügbarkeit: https://inria.hal.science/inria-00120518
https://inria.hal.science/inria-00120518v3/document
https://inria.hal.science/inria-00120518v3/file/RT-0328.pdf

Specification-based Synthesis of Distributed Self-Stabilizing Protocols

Autoren: Faghih, Fathiyeh Bonakdarpour, Borzoo Kulkarni, Sandeep et al.

Weitere Verfasser: Faghih, Fathiyeh Bonakdarpour, Borzoo Kulkarni, Sandeep et al.

Quelle: Formal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE 2016) ; https://hal.sorbonne-universite.fr/hal-01349070 ; Formal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE 2016), May 2016, Heraklion, Greece

Schlagwörter: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Geographisches Schlagwort: Heraklion, Greece

Verfügbarkeit: https://hal.sorbonne-universite.fr/hal-01349070