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

Refactoring Using Type Constraints

Autori: Frank Tip Robert M. Fuhrer ADAM KIEZUN a ďalší

Prispievatelia: Frank Tip Robert M. Fuhrer ADAM KIEZUN a ďalší

Zdroj: http://pag.lcs.mit.edu/%7Emernst/pubs/refactoring-type-constraints-toplas2011.pdf.

Predmety: Categories and Subject Descriptors, D.2.3 [Software Engineering, Coding Tools and Techniques—Objectoriented programming, program editors, D.2.6 [Software Engineering, Programming Environments— Interactive environments, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement— Restructuring, reverse engineering, and reengineering, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Design, Languages Additional Key Words and Phrases, Refactoring, type constraints, program transformation ACM Reference Format

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.1082

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.1082
http://pag.lcs.mit.edu/%7Emernst/pubs/refactoring-type-constraints-toplas2011.pdf

1. American Heart Association. (2021). Heart disease and stroke statistics—2021 update. Circulation, 143(8), e254-e743. 2. Rahman, M., Al Amin, M., Hasan, R., Hossain, S. T., Rahman, M. H., & Rashed, R. A. M. (2025). A Predictive AI Framework for Cardiovascular Disease Screening in the US: Integrating EHR Data with Machine and Deep Learning Models. British Journal of Nursing Studies, 5(2), 40-48. 3. ZakirHossain, M., Khan, M. M., Thapa, S., Uddin, R., Meem, E. J., Niloy, S. K., ... & Bhavani, G. D. (2025, February). Advanced Deep Learning Techniques for Precision Diagnosis of Tea Leaf Diseases. In 2025 IEEE International Conference on Emerging Technologies and Applications (MPSec ICETA) (pp. 1-6). IEEE. 4. Chen, T., & Guestrin, C. (2016). XGBoost: A scalable tree boosting system. In Proceedings of the 22nd ACM SIGKDD international conference on knowledge discovery and data mining (pp. 785-794). ACM. 5. Damen, J. A., Hooft, L., Schuit, E., Debray, T. P., Collins, G. S., Tzoulaki, I., Lassale, C. M., Siontis, G. C., Chiocchia, V., Roberts, C., Schlüssel, M. M., Gerry, S., Black, J. A., Heus, P., van der Schouw, Y. T., Peelen, L. M., & Moons, K. G. (2016). Prediction models for cardiovascular disease risk in the general population: systematic review. BMJ, 353, i2416. 6. Framingham Heart Study. (1948). Framingham Heart Study cohort research data. National Heart, Lung, and Blood Institute. 7. Johnson, A. E., Pollard, T. J., Shen, L., Lehman, L. H., Feng, M., Ghassemi, M., Moody, B., Szolovits, P., Celi, L. A., & Mark, R. G. (2016). MIMIC-III, a freely accessible critical care database. Scientific Data, 3, 160035. 8. Krittanawong, C., Zhang, H., Wang, Z., Aydar, M., & Kitai, T. (2017). Artificial intelligence in precision cardiovascular medicine. Journal of the American College of Cardiology, 69(21), 2657-2664. 9. Lundberg, S. M., & Lee, S. I. (2017). A unified approach to interpreting model predictions. In Advances in Neural Information Processing Systems 30 (NIPS 2017) (pp. 4765-4774). 10. Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., Vanderplas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., & Duchesnay, É. (2011). Scikit-learn: Machine learning in Python. Journal of Machine Learning Research, 12, 2825–2830. 11. Shameer, K., Johnson, K. W., Glicksberg, B. S., Dudley, J. T., & Sengupta, P. P. (2018). Machine learning in cardiovascular medicine: are we there yet? Heart, 104(14), 1156-1164. 12. Steyerberg, E. W., Vergouwe, Y., & van Calster, B. (2019). Towards better clinical prediction models: seven steps for development and an ABCD for validation. European Heart Journal, 40(15), 1255–1264. 13. Sudlow, C., Gallacher, J., Allen, N., Beral, V., Burton, P., Danesh, J., Downey, P., Elliott, P., Green, J., Landray, M., Liu, B., Matthews, P., Ong, G., Pell, J., Silman, A., Young, A., Sprosen, T., Peakman, T., & Collins, R. (2015). UK biobank: an open access resource for identifying the causes of a wide range of complex diseases of middle and old age. PLOS Medicine, 12(3), e1001779. 14. Weng, S. F., Reps, J., Kai, J., Garibaldi, J. M., & Qureshi, N. (2017). Can machine-learning improve cardiovascular risk prediction using routine clinical data? PLOS ONE, 12(4), e0174944. 15. World Health Organization. (2021). Cardiovascular diseases (CVDs). Retrieved from https://www.who.int/news-room/fact-sheets/detail/cardiovascular-diseases-(cvds) 16. Abadi, M., Barham, P., Chen, J., Chen, Z., Davis, A., Dean, J., Devin, M., Ghemawat, S., Irving, G., Isard, M., Kudlur, M., Levenberg, J., Monga, R., Moore, S., Murray, D. G., Steiner, B., Tucker, P., Vasudevan, V., Warden, P., ... Zheng, X. (2016). TensorFlow: A system for large-scale machine learning. In 12th USENIX symposium on operating systems design and implementation (OSDI 16) (pp. 265–283). 17. Chollet, F. (2015). Keras (Version 2.4.0) [Computer software]. https://github.com/fchollet/keras

Autori: Okunola, Abiodun

Proceedings of the First Domain-Specific Aspect Languages Workshop - ACM International Conference on Generative Programming and Component Engineering (GPCE 2006)

Autori: Tanter, Éric Fabry, Johan Le Meur, Anne-Françoise a ďalší

Prispievatelia: Tanter, Éric Fabry, Johan Le Meur, Anne-Françoise a ďalší

Zdroj: https://inria.hal.science/inria-00468283 ; [Research Report] 2006, pp.40.

Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.12: Specialized application languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Dostupnosť: https://inria.hal.science/inria-00468283

Selected Papers from the ACM Conference on Language Design for Reliable Software.

Autori: Horning, J. J.

Zdroj: Communications of the ACM; Aug1977, Vol. 20 Issue 8, p539-539, 1p

Predmety: COMPUTER software, PROGRAMMING languages, RELIABILITY in engineering, COMPUTER programmers, COMPUTER science

Bringing Evolutionary Computation to Industrial Applications with GUIDE

Autori: da Costa, Luis Schoenauer, Marc Machine Learning and Optimisation (TAO) a ďalší

Prispievatelia: da Costa, Luis Schoenauer, Marc Machine Learning and Optimisation (TAO) a ďalší

Zdroj: GECCO 2009 ; https://inria.hal.science/inria-00375419 ; GECCO 2009, ACM, Jul 2009, Montréal, Québec, Canada

Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.7: Visual Programming, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Geografické téma: Montréal, Québec

Time: Montréal, Québec, Canada

Dostupnosť: https://inria.hal.science/inria-00375419
https://inria.hal.science/inria-00375419v1/document
https://inria.hal.science/inria-00375419v1/file/t13fp504-DaCosta.pdf

DIE: A Domain Specific Aspect Language for IDE Events

Autori: Fabry, Johan Robbes, Romain Denker, Marcus a ďalší

Prispievatelia: Fabry, Johan Robbes, Romain Denker, Marcus a ďalší

Zdroj: ISSN: 0948-695X.

Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Dostupnosť: https://inria.hal.science/hal-00936376
https://inria.hal.science/hal-00936376v1/document
https://inria.hal.science/hal-00936376v1/file/Fabr14a-DIE-JUCS.pdf

Liability in software engineering: overview of the LISE approach and illustration on a case study

Autori: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis a ďalší

Prispievatelia: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis a ďalší

Zdroj: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1. :135-144

Predmety: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, Legal Aspects, Specication, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, 16. Peace & justice, Formal Methods, [INFO.INFO-IA] Computer Science [cs]/Computer Aided Engineering, Specification, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Liability, 0202 electrical engineering, electronic engineering, information engineering, Defects, Contract, [INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, Evidence

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.inria.fr/inria-00472287/file/20100608-ICSE-HAL-version-with-DOI.pdf
https://inria.hal.science/inria-00440437v1
https://dblp.uni-trier.de/db/conf/icse/icse2010-1.html#MetayerMTMPCFH10
https://hal.inria.fr/inria-00440437/document
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006062081
https://hal.archives-ouvertes.fr/inria-00440437/en/
https://ieeexplore.ieee.org/document/6062081/
https://dl.acm.org/doi/10.1145/1806799.1806823

Proving Weak Properties of Rewriting

Autori: Gnaedig, Isabelle Kirchner, Hélène Theoretical adverse computations, and safety (CARTE) a ďalší

Prispievatelia: Gnaedig, Isabelle Kirchner, Hélène Theoretical adverse computations, and safety (CARTE) a ďalší

Zdroj: ISSN: 0304-3975.

Predmety: Abstraction, Completeness, Induction, Rewriting, Narrowing, Weak termination, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.2: Logics of programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.5: Specification techniques, 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, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.0: Evaluation strategies, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.4: Substitution mechanisms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.2: Automatic Programming/I.2.2.0: Automatic analysis of algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.2: Automatic Programming/I.2.2.4: Program verification, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.1: Deduction (e.g., natural, rule-based), ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.2: Inference engines, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.4: Mathematical induction, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Dostupnosť: https://inria.hal.science/inria-00592271
https://inria.hal.science/inria-00592271/document
https://inria.hal.science/inria-00592271/file/weak-tcs-revision2.pdf
https://doi.org/10.1016/j.tcs.2011.04.028

Proving weak properties of rewriting

Autori: Gnaedig, Isabelle Kirchner, Hélène Theoretical adverse computations, and safety (CARTE) a ďalší

Prispievatelia: Gnaedig, Isabelle Kirchner, Hélène Theoretical adverse computations, and safety (CARTE) a ďalší

Zdroj: https://inria.hal.science/inria-00338181 ; [Research Report] 2009, pp.50.

Predmety: abstraction, induction, innermost, narrowing, ordering constraint, sufficient completeness, weak termination, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.2: Logics of programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.2: Inference engines, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.4: Mathematical induction, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.5: Specification techniques, 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/F.4.3.0: Algebraic language theory, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.0: Evaluation strategies, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.4: Substitution mechanisms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.2: Automatic Programming/I.2.2.0: Automatic analysis of algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.2: Automatic Programming/I.2.2.4: Program verification, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.1: Deduction (e.g., natural, rule-based), [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Dostupnosť: https://inria.hal.science/inria-00338181

Just-Right Consistency: reconciling availability and safety

Autori: Shapiro, Marc Bieniusa, Annette Preguiça, Nuno a ďalší

Prispievatelia: Shapiro, Marc Bieniusa, Annette Preguiça, Nuno a ďalší

Zdroj: [Research Report] RR-9145, Inria Paris; UPMC-Paris 6 Sorbonne Universités; Tech. U. Kaiserslautern; U. Nova de Lisboa; U. Catholique de Louvain. 2018, pp.1-15

Predmety: CAP Theorem, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], Invariants, Distributed programming, Availability, Iinvariants, Distributed systems, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, Disponibilité, Cohérence, Système distribué, Théorème CAP, Programmation répartie, Consistency, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Prístupová URL adresa: https://inria.hal.science/hal-01685945v1/file/RR-9145.pdf
https://inria.hal.science/hal-01685945
https://inria.hal.science/hal-01685945v1/document

A Component Platform for Experimenting with Autonomic Composition

Autori: Baude, Françoise Henrio, Ludovic Naoumenko, Paul a ďalší

Prispievatelia: Baude, Françoise Henrio, Ludovic Naoumenko, Paul a ďalší

Zdroj: First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007) ; https://inria.hal.science/inria-00178365 ; First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Oct 2007, Rome, Italy

Predmety: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Rome, Italy

Dostupnosť: https://inria.hal.science/inria-00178365
https://inria.hal.science/inria-00178365v1/document
https://inria.hal.science/inria-00178365v1/file/autonomics.pdf

AlgoTouch: a programming by demonstration tool for teaching algorithms

Autori: Frison, Patrice Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) a ďalší

Prispievatelia: Frison, Patrice Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) a ďalší

Zdroj: Proceedings of the 2014 ACM Conference on Innovation & Technology in Computer Science Education ; ITiCSE'2014 Innovation and Technology in Computer Science Education ; https://ubs.hal.science/hal-01194567 ; ITiCSE'2014 Innovation and Technology in Computer Science Education, Jun 2014, Uppsala, Sweden. ⟨10.1145/2591708.2602654⟩

Predmety: Algorithm visualization, Direct manipulation, Novice programming environment, Programming by demonstration, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.3: Programmer workbench, [INFO.EIAH]Computer Science [cs]/Technology for Human Learning

Geografické téma: Uppsala, Sweden

Dostupnosť: https://ubs.hal.science/hal-01194567
https://doi.org/10.1145/2591708.2602654

Proceedings of the seventh workshop on Domain-Specific Aspect Languages (DSAL 2012)

Autori: Dinkelaker, Tom Fabry, Johan Noyé, Jacques a ďalší

Prispievatelia: Dinkelaker, Tom Fabry, Johan Noyé, Jacques a ďalší

Zdroj: AOSD - Aspect-Oriented Software Development - 2012 ; https://inria.hal.science/hal-00726770 ; AOSD - Aspect-Oriented Software Development - 2012, Mar 2012, Potsdam, Germany ; http://dl.acm.org/citation.cfm?id=2162037&CFID=109838364&CFTOKEN=37249849

Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.12: Specialized application languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Potsdam, Germany

Dostupnosť: https://inria.hal.science/hal-00726770

Design of a visual environment for programming by direct data manipulation ; Conception d'un environnement visuel pour la programmation par manipulation directe des données

Autori: Adam, Michel Frison, Patrice Daoud, Moncef a ďalší

Prispievatelia: Adam, Michel Frison, Patrice Daoud, Moncef a ďalší

Zdroj: https://hal.science/hal-05089017 ; 2025.

Predmety: Learning programming, Automatic code generation, Programming by demonstration, Direct data manipulation, Programmation visuelle Manipulation directe des données Programmation par démonstration Génération automatique de code Apprentissage de la programmation Visual programming Direct data manipulation Programming by demonstration Automatic code generation Learning programming, Programmation visuelle, Manipulation directe des données, Programmation par démonstration, Génération automatique de code, Apprentissage de la programmation Visual programming, 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: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATION/K.3.2: Computer and Information Science Education, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.EIAH]Computer Science [cs]/Technology for Human Learning

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

Dostupnosť: https://hal.science/hal-05089017
https://hal.science/hal-05089017v2/document
https://hal.science/hal-05089017v2/file/AlgoTouchDesign.pdf

Towards LaTeX Coding Standards

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

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

Zdroj: Proceedings of the TUG 2011 Conference ; TUG 2011 32nd Annual Meeting of the TeX Users Group ; https://hal.archives-ouvertes.fr/hal-01543098 ; TUG 2011 32nd Annual Meeting of the TeX Users Group , Oct 2011, Trivandrum, India ; http://tug.org/TUGboat/Contents/contents32-3.html

Predmety: TeX, LaTeX, Coding Style, Codign Standards, ACM: I.: Computing Methodologies, ACM: I.: Computing Methodologies/I.7: DOCUMENT AND TEXT PROCESSING, ACM: I.: Computing Methodologies/I.7: DOCUMENT AND TEXT PROCESSING/I.7.2: Document Preparation, ACM: I.: Computing Methodologies/I.7: DOCUMENT AND TEXT PROCESSING/I.7.2: Document Preparation/I.7.2.4: Languages and systems, ACM: D.: Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.1: Standards, [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO]Computer Science [cs]

Geografické téma: Trivandrum, India

Relation: hal-01543098; https://hal.archives-ouvertes.fr/hal-01543098; https://hal.archives-ouvertes.fr/hal-01543098/document; https://hal.archives-ouvertes.fr/hal-01543098/file/verna.11.tug.pdf; https://hal.archives-ouvertes.fr/hal-01543098/file/verna.11.tug.slides.pdf

Dostupnosť: https://hal.archives-ouvertes.fr/hal-01543098
https://hal.archives-ouvertes.fr/hal-01543098/document
https://hal.archives-ouvertes.fr/hal-01543098/file/verna.11.tug.pdf
https://hal.archives-ouvertes.fr/hal-01543098/file/verna.11.tug.slides.pdf

A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs

Autori: Balabonski, Thibaut Pelle, Robin Rieg, Lionel a ďalší

Prispievatelia: Balabonski, Thibaut Pelle, Robin Rieg, Lionel a ďalší

Zdroj: ICDCN '18 Proceedings of the 19th International Conference on Distributed Computing and Networking ; ICDCN 2018 - 19th International Conference on Distributed Computing and Networking ; https://hal.sorbonne-universite.fr/hal-01753439 ; ICDCN 2018 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154321⟩

Predmety: Mobile Robots, Proof Assistant, Exploration, Impossibility results, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [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-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering

Geografické téma: Varanasi, India

Dostupnosť: https://hal.sorbonne-universite.fr/hal-01753439
https://doi.org/10.1145/3154273.3154321

Extensible Languages: Blurring the Distinction between DSL and GPL

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

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

Zdroj: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments ; https://hal.archives-ouvertes.fr/hal-01542954 ; Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2012, 9781466620926. ⟨10.4018/978-1-4666-2092-6.ch001⟩ ; https://www.igi-global.com/chapter/extensible-languages-blurring-distinction-between/71814

Predmety: Domin Specific Languages, DSL, General Purpose Languages, GPL, Common Lisp, Extensibility, Programming Paradigms, ACM: D.: Software, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.5: Extensible languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.8: Multiparadigm languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO]Computer Science [cs]

Relation: hal-01542954; https://hal.archives-ouvertes.fr/hal-01542954

Dostupnosť: https://hal.archives-ouvertes.fr/hal-01542954
https://doi.org/10.4018/978-1-4666-2092-6.ch001

acm forum.

Autori: Smoliar, Stephen W. Rhinehart, John H. J. D. C. a ďalší

Zdroj: Communications of the ACM; May74, Vol. 17 Issue 5, p294-297, 4p

Predmety: LETTERS to the editor, STRUCTURED programming, COMPUTERS, STRUCTURED techniques of electronic data processing

Osoby: SAKHAROV, Andrei, 1921-1989

Just-Right Consistency: reconciling availability and safety ; La juste cohérence pour reconcilier disponibilité et sûreté

Autori: Shapiro, Marc Bieniusa, Annette Preguiça, Nuno a ďalší

Prispievatelia: Shapiro, Marc Bieniusa, Annette Preguiça, Nuno a ďalší

Zdroj: https://inria.hal.science/hal-01685945 ; [Research Report] RR-9145, Inria Paris; UPMC - Paris 6 Sorbonne Universités; Tech. U. Kaiserslautern; U. Nova de Lisboa; U. Catholique de Louvain. 2018, pp.1-15.

Predmety: Distributed systems, Iinvariants, Distributed programming, CAP Theorem, Consistency, Availability, Théorème CAP, Invariants, Système distribué, Cohérence, Disponibilité, Programmation répartie, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1801.06340; info:eu-repo/grantAgreement/EC/FP7/609551/EU/Large-scale computation without synchronisation/SYNCFREE; info:eu-repo/grantAgreement//732505/EU/Lightweight Computation for Networks at the Edge/LightKone; ARXIV: 1801.06340

Dostupnosť: https://inria.hal.science/hal-01685945
https://inria.hal.science/hal-01685945v1/document
https://inria.hal.science/hal-01685945v1/file/RR-9145.pdf

Proceedings of the 4th workshop on Domain-specific aspect languages (DSAL 2009)

Autori: Cleenewerck, Thomas Fabry, Johan Le Meur, Anne-Françoise a ďalší

Prispievatelia: Cleenewerck, Thomas Fabry, Johan Le Meur, Anne-Françoise a ďalší

Zdroj: Aspect-oriented software development ; https://inria.hal.science/inria-00469818 ; Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter. Aspect-oriented software development, Mar 2009, Charlottesville, Virginia, United States. ACM Press, 24 p., 2009, 978-1-60558-455-3 ; http://portal.acm.org/citation.cfm?id=1509307&coll=GUIDE&dl=ACM&CFID=82632910&CFTOKEN=95670755

Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.12: Specialized application languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Charlottesville, Virginia, United States

Dostupnosť: https://inria.hal.science/inria-00469818