Search Results - "ACM: I.: Computing Methodologies/I.0: GENERAL"

Teaching programming methodology using Event B

Authors: Méry, Dominique Proof-oriented development of computer-based systems (MOSEL) INRIA Lorraine et al.

Contributors: Méry, Dominique Proof-oriented development of computer-based systems (MOSEL) INRIA Lorraine et al.

Source: The B Method: from Research to Teaching ; https://inria.hal.science/inria-00287231 ; The B Method: from Research to Teaching, Henri Habrias, Jul 2008, Nantes, France

Subject Terms: ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Subject Geographic: Nantes, France

Availability: https://inria.hal.science/inria-00287231
https://inria.hal.science/inria-00287231v2/document
https://inria.hal.science/inria-00287231v2/file/entcsmery.pdf

Experimental Methodologies for Large-Scale Systems: a Survey

Authors: Gustedt, Jens Jeannot, Emmanuel Quinson, Martin et al.

Contributors: Gustedt, Jens Jeannot, Emmanuel Quinson, Martin et al.

Source: ISSN: 0129-6264.

Subject Terms: Experimental computer science, experimental methodologies, in-situ, emulation, benchmarking, simulation, ACM: A.: General Literature/A.1: INTRODUCTORY AND SURVEY, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems/I.6.7.0: Environments, ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Availability: https://inria.hal.science/inria-00364180
https://inria.hal.science/inria-00364180v2/document
https://inria.hal.science/inria-00364180v2/file/RR-6859.pdf
https://doi.org/10.1142/S0129626409000304

Experimental Methodologies for Large-Scale Systems: a Survey

Authors: Gustedt, Jens Jeannot, Emmanuel Quinson, Martin et al.

Contributors: Gustedt, Jens Jeannot, Emmanuel Quinson, Martin et al.

Source: ISSN: 0129-6264 ; Parallel Processing Letters ; https://hal.inria.fr/inria-00364180 ; Parallel Processing Letters, World Scientific Publishing, 2009, 19 (3), pp.399-418. ⟨10.1142/S0129626409000304⟩.

Subject Terms: Experimental computer science, experimental methodologies, in-situ, emulation, benchmarking, simulation, ACM: A.: General Literature/A.1: INTRODUCTORY AND SURVEY, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems/I.6.7.0: Environments, ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Relation: inria-00364180; https://hal.inria.fr/inria-00364180; https://hal.inria.fr/inria-00364180v2/document; https://hal.inria.fr/inria-00364180v2/file/RR-6859.pdf

Availability: https://hal.inria.fr/inria-00364180
https://hal.inria.fr/inria-00364180v2/document
https://hal.inria.fr/inria-00364180v2/file/RR-6859.pdf
https://doi.org/10.1142/S0129626409000304

Mapsembler, targeted assembly of larges genomes on a desktop computer

Authors: Peterlongo, Pierre Chikhi, Rayan Biological systems and models, bioinformatics and sequences (SYMBIOSE) et al.

Contributors: Peterlongo, Pierre Chikhi, Rayan Biological systems and models, bioinformatics and sequences (SYMBIOSE) et al.

Source: https://inria.hal.science/inria-00577218 ; [Research Report] RR-7565, INRIA. 2011, pp.17.

Subject Terms: algorithms, genome, bioinformatics, NGS, targeted assembly, light memory usage, ACM: J.: Computer Applications/J.3: LIFE AND MEDICAL SCIENCES/J.3.0: Biology and genetics, ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]

Availability: https://inria.hal.science/inria-00577218
https://inria.hal.science/inria-00577218/document
https://inria.hal.science/inria-00577218/file/RR-7565.pdf

Mapsembler, targeted assembly of larges genomes on a desktop computer

Authors: Peterlongo, Pierre Chikhi, Rayan Biological systems and models, bioinformatics and sequences (SYMBIOSE) et al.

Contributors: Peterlongo, Pierre Chikhi, Rayan Biological systems and models, bioinformatics and sequences (SYMBIOSE) et al.

Source: https://inria.hal.science/inria-00577218 ; [Research Report] RR-7565, INRIA. 2011, pp.17.

Subject Terms: algorithms, genome, bioinformatics, NGS, targeted assembly, light memory usage, ACM: J.: Computer Applications/J.3: LIFE AND MEDICAL SCIENCES/J.3.0: Biology and genetics, ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]

Availability: https://inria.hal.science/inria-00577218
https://inria.hal.science/inria-00577218v1/document
https://inria.hal.science/inria-00577218v1/file/RR-7565.pdf

Mapsembler, targeted assembly of larges genomes on a desktop computer

Authors: Peterlongo, Pierre Chikhi, Rayan Biological systems and models, bioinformatics and sequences (SYMBIOSE) et al.

Contributors: Peterlongo, Pierre Chikhi, Rayan Biological systems and models, bioinformatics and sequences (SYMBIOSE) et al.

Source: https://inria.hal.science/inria-00577218 ; [Research Report] RR-7565, INRIA. 2011, pp.17.

Subject Terms: algorithms, genome, bioinformatics, NGS, targeted assembly, light memory usage, ACM: J.: Computer Applications/J.3: LIFE AND MEDICAL SCIENCES/J.3.0: Biology and genetics, ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]

Availability: https://inria.hal.science/inria-00577218
https://inria.hal.science/inria-00577218/document
https://inria.hal.science/inria-00577218/file/RR-7565.pdf

Mapsembler, targeted assembly of larges genomes on a desktop computer

Authors: Peterlongo, Pierre Chikhi, Rayan Biological systems and models, bioinformatics and sequences (SYMBIOSE) et al.

Contributors: Peterlongo, Pierre Chikhi, Rayan Biological systems and models, bioinformatics and sequences (SYMBIOSE) et al.

Source: https://hal.inria.fr/inria-00577218 ; [Research Report] RR-7565, INRIA. 2011, pp.17.

Subject Terms: algorithms, genome, bioinformatics, NGS, targeted assembly, light memory usage, ACM: J.: Computer Applications/J.3: LIFE AND MEDICAL SCIENCES/J.3.0: Biology and genetics, ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]

Relation: Report N°: RR-7565; inria-00577218; https://hal.inria.fr/inria-00577218; https://hal.inria.fr/inria-00577218/document; https://hal.inria.fr/inria-00577218/file/RR-7565.pdf

Availability: https://hal.inria.fr/inria-00577218
https://hal.inria.fr/inria-00577218/document
https://hal.inria.fr/inria-00577218/file/RR-7565.pdf

The invoice case study modelling in Event B

Authors: Cansell, Dominique Méry, Dominique Université Paul Verlaine - Metz (UPVM) et al.

Contributors: Cansell, Dominique Méry, Dominique Université Paul Verlaine - Metz (UPVM) et al.

Source: https://inria.hal.science/inria-00000857 ; [Research Report] 2005.

Subject Terms: Refinement, event B, case study, ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Availability: https://inria.hal.science/inria-00000857
https://inria.hal.science/inria-00000857v1/document
https://inria.hal.science/inria-00000857v1/file/eventb.pdf

The invoice case study modelling in Event B

Authors: Cansell, Dominique Méry, Dominique Université Paul Verlaine - Metz (UPVM) et al.

Contributors: Cansell, Dominique Méry, Dominique Université Paul Verlaine - Metz (UPVM) et al.

Source: https://hal.inria.fr/inria-00000857 ; [Research Report] 2005.

Subject Terms: case study, Refinement, event B, ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: inria-00000857; https://hal.inria.fr/inria-00000857; https://hal.inria.fr/inria-00000857/document; https://hal.inria.fr/inria-00000857/file/eventb.pdf

Availability: https://hal.inria.fr/inria-00000857
https://hal.inria.fr/inria-00000857/document
https://hal.inria.fr/inria-00000857/file/eventb.pdf

Using Computer Simulations for Producing Scientific Results: Are We There Yet?

Authors: Dalle, Olivier Active objects, semantics, Internet and security (OASIS) Centre Inria d'Université Côte d'Azur et al.

Contributors: Dalle, Olivier Active objects, semantics, Internet and security (OASIS) Centre Inria d'Université Côte d'Azur et al.

Source: NS3 Workshop ; https://inria.hal.science/hal-00926967 ; NS3 Workshop, Mar 2013, Cannes, France

Subject Terms: ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Subject Geographic: Cannes, France

Availability: https://inria.hal.science/hal-00926967

Using Computer Simulations for Producing Scientific Results: Are We There Yet?

Authors: Dalle, Olivier Active objects, semantics, Internet and security (OASIS) Inria Sophia Antipolis - Méditerranée (CRISAM) et al.

Contributors: Dalle, Olivier Active objects, semantics, Internet and security (OASIS) Inria Sophia Antipolis - Méditerranée (CRISAM) et al.

Source: NS3 Workshop ; https://hal.inria.fr/hal-00926967 ; NS3 Workshop, Mar 2013, Cannes, France

Subject Terms: ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Subject Geographic: Cannes, France

Relation: hal-00926967; https://hal.inria.fr/hal-00926967

Availability: https://hal.inria.fr/hal-00926967

Proceedings of the 4th International Workshop on Formal Aspects of Component Software

Authors: Madelaine, Eric Lumpe, Markus Active objects, semantics, Internet and security (OASIS) et al.

Contributors: Madelaine, Eric Lumpe, Markus Active objects, semantics, Internet and security (OASIS) et al.

Source: https://inria.hal.science/inria-00337975 ; Eric Madelaine and Markus Lumpe. ENTCS, vol 215, pp.226, 2008, ⟨10.1016/j.entcs.2008.06.017⟩.

Subject Terms: ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Availability: https://inria.hal.science/inria-00337975
https://doi.org/10.1016/j.entcs.2008.06.017

The Event-B Modelling Method - Concepts and Case Studies

Authors: Cansell, Dominique Méry, Dominique Proof-oriented development of computer-based systems (MOSEL) et al.

Contributors: Cansell, Dominique Méry, Dominique Proof-oriented development of computer-based systems (MOSEL) et al.

Source: Logics of Specification Languages ; https://inria.hal.science/inria-00579550 ; Dines Bjoerner and Martin Henson. Logics of Specification Languages, Springer, pp.33-140, 2008, Monographs in Theoretical Computer Science

Subject Terms: Event B, Formal Method, Refinement, Abstraction, Modelling, Case studies, Methodology, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Availability: https://inria.hal.science/inria-00579550

Proceedings of the 4th International Workshop on Formal Aspects of Component Software

Authors: Madelaine, Eric Lumpe, Markus Active objects, semantics, Internet and security (OASIS) et al.

Contributors: Madelaine, Eric Lumpe, Markus Active objects, semantics, Internet and security (OASIS) et al.

Source: https://hal.inria.fr/inria-00337975 ; Eric Madelaine and Markus Lumpe. vol 215, ENTCS, pp.226, 2008, ⟨10.1016/j.entcs.2008.06.017⟩.

Subject Terms: ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: inria-00337975; https://hal.inria.fr/inria-00337975

Availability: https://hal.inria.fr/inria-00337975
https://doi.org/10.1016/j.entcs.2008.06.017

The Event-B Modelling Method - Concepts and Case Studies

Authors: Cansell, Dominique Méry, Dominique Proof-oriented development of computer-based systems (MOSEL) et al.

Contributors: Cansell, Dominique Méry, Dominique Proof-oriented development of computer-based systems (MOSEL) et al.

Source: Logics of Specification Languages ; https://hal.inria.fr/inria-00579550 ; Dines Bjoerner and Martin Henson. Logics of Specification Languages, Springer, pp.33-140, 2008, Monographs in Theoretical Computer Science

Subject Terms: Event B, Formal Method, Refinement, Abstraction, Modelling, Case studies, Methodology, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, ACM: I.: Computing Methodologies/I.0: GENERAL, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: inria-00579550; https://hal.inria.fr/inria-00579550

Availability: https://hal.inria.fr/inria-00579550