Suchergebnisse - ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://inria.hal.science/inria-00468283 ; [Research Report] 2006, pp.40.
Schlagwörter: 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]
Verfügbarkeit: https://inria.hal.science/inria-00468283
-
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩ ; http://doi.acm.org/10.1145/1806799.1806823
Schlagwörter: Liability, Contract, Formal Methods, Specication, Defects, Legal Aspects, Evidence, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering
Geographisches Schlagwort: Cape Town, South Africa
Time: Cape Town, South Africa
-
3
Autoren:
Weitere Verfasser:
Quelle: 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
Schlagwörter: 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
-
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://inria.hal.science/inria-00440437 ; [Research Report] RR-7148, INRIA. 2009, pp.23.
Schlagwörter: Formal Methods, Specification, Defects, Legal Aspects, Evidence, Liability, Contract, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering
-
5
Autoren: Horning, J. J.
Quelle: Communications of the ACM; Aug1977, Vol. 20 Issue 8, p539-539, 1p
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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
Schlagwörter: 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]
Verfügbarkeit: https://inria.hal.science/hal-00726770
-
7
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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
Schlagwörter: 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]
Geographisches Schlagwort: Charlottesville, Virginia, United States
Verfügbarkeit: https://inria.hal.science/inria-00469818
-
8
Autoren:
Quelle: Journal of Functional Programming; 2019, Vol. 29, p1-46, 46p
-
9
Autoren: Forsythe, George E.
Quelle: Communications of the ACM; Mar1966, Vol. 9 Issue 3, p137-138, 2p
Schlagwörter: CONFERENCES & conventions, COMPUTER software, PROGRAMMING languages, PRAGMATICS, COMMITTEES
-
10
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Aspect-oriented software development ; https://inria.hal.science/inria-00469815 ; Thomas Cleenewerck, Jacques Noyé, Johan Fabry, Anne-Françoise Le Meur, Éric Tanter. Aspect-oriented software development, Mar 2008, Bruxelles, Belgium. ACM Press, pp.37, 2008, 978-1-60558-146-0 ; http://portal.acm.org/toc.cfm?id=1404927&type=proceeding&coll=GUIDE&dl=GUIDE&CFID=82632910&CFTOKEN=95670755
Schlagwörter: 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]
Verfügbarkeit: https://inria.hal.science/inria-00469815
-
11
Autoren:
Weitere Verfasser:
Quelle: 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
Schlagwörter: 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]
Geographisches Schlagwort: 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
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 2nd workshop on Domain specific aspect languages (@ AOSD 2007) ; https://inria.hal.science/inria-00468317 ; Proceedings of the 2nd workshop on Domain specific aspect languages (@ AOSD 2007), Mar 2007, Vancouver, Canada ; http://portal.acm.org/citation.cfm?id=1255400&coll=ACM&dl=ACM&CFID=84087409&CFTOKEN=46863250
Schlagwörter: 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]
Geographisches Schlagwort: Vancouver
Time: Vancouver, Canada
Verfügbarkeit: https://inria.hal.science/inria-00468317
-
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Building the Future Internet through FIRE ; https://hal.archives-ouvertes.fr/hal-01803996 ; Building the Future Internet through FIRE, 2017 ; http://www.riverpublishers.com/research_details.php?book_id=427
Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, [INFO]Computer Science [cs], [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-CY]Computer Science [cs]/Computers and Society [cs.CY], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], info, manag
Relation: https://hal.archives-ouvertes.fr/hal-01803996/file/12_Chapter_12.pdf; https://hal.archives-ouvertes.fr/hal-01803996
-
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ICSET 2010 - International Conference on Software Engineering and Technology ; https://inria.hal.science/inria-00491191 ; ICSET 2010 - International Conference on Software Engineering and Technology, WASET - World Academy of Science, Engineering and Technology, Apr 2010, Rome, Italy. pp.386-390 ; http://www.waset.org/journals/waset/v64.php
Schlagwörter: Tabu Search heuristic, Energy consumption, memory allocation management, optimization, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Verfügbarkeit: https://inria.hal.science/inria-00491191
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Theory and Practice of Logic Programming. 2:611-643
Schlagwörter: test coverage, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.2: Constraint and logic languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, General topics in the theory of software, automated debugging, Mercury program, Logic programming, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Dateibeschreibung: application/xml
Zugangs-URL: https://hal.inria.fr/inria-00072264/file/RR-4323.pdf
https://zbmath.org/2048586
https://doi.org/10.1017/s1471068402001461
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming /article/generic-program-monitoring-by-trace-analysis/F639A6554EBA625CC06388EF91374227
https://dblp.uni-trier.de/db/journals/tplp/tplp2.html#JahierD02
https://hal.inria.fr/inria-00072264/document
https://hal.inria.fr/inria-00072264
https://inria.hal.science/hal-00756826v1 -
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering) ; https://inria.hal.science/inria-00541375 ; IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering), Dec 2010, Wuhan, China
Schlagwörter: memory management, optimization, simulated annealing, embedded systems, Distributed systems, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.9: Simulated annealing, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.4: Sequential Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.5: Memory management (garbage collection), and Search/I.2.8.4: Heuristic methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Verfügbarkeit: https://inria.hal.science/inria-00541375
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies ; https://inria.hal.science/inria-00516396 ; ICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies, Jul 2010, Athens, Greece. pp.394-402
Schlagwörter: optimizations, memory allocation management, Genetic heuristics, Energy consumption reduction, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Verfügbarkeit: https://inria.hal.science/inria-00516396
-
18
Autoren:
Quelle: CISTI (Iberian Conference on Information Systems & Technologies / Conferência Ibérica de Sistemas e Tecnologias de Informação) Proceedings; 2021, Issue 16, p1-6, 6p
Schlagwörter: PROGRAMMING languages, UNIVERSITIES & colleges, COMPUTER science, COMPUTER software
Geografische Kategorien: IBERIAN Peninsula
-
19
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSN: 0164-0925.
Schlagwörter: affine vector, scalarization, Static program analysis, divergence analysis, SIMD, graphics processing units, register allocation, scalarizing compiler, D34 [Software]: Programming Languages General Terms: Languages, Design, Algorithms, Performance Additional Key Words and Phrases: Static program analysis, high performance, 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.6: Optimization, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.2: Multiple Data Stream Architectures (Multiprocessors)/C.1.2.7: Single-instruction-stream, multiple-data-stream processors (SIMD), [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
-
20
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://theses.hal.science/tel-04280389 ; Informatique [cs]. Assemblée des gouverneurs de l'Université du Québec, 2023. Français. ⟨NNT : ⟩.
Schlagwörter: Software Visualization, Vector Programming, cognitive efficiency, Model, Visualisation de Logiciel, Programmation Vectorielle, Efficience Cognitive, Modèle, PhD, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.6: Software process models (e.g., CMM, ISO, PSP), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software/D.2.13.0: Domain engineering, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.5: Programming Languages and Software, [INFO]Computer Science [cs], [INFO.EIAH]Computer Science [cs]/Technology for Human Learning, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: tel-04280389; https://theses.hal.science/tel-04280389; https://theses.hal.science/tel-04280389/document; https://theses.hal.science/tel-04280389/file/These_Doctorat_Informatique_Cognitive_Pierre_Marie_Ntang_Oct2023_Hal.pdf
Nájsť tento článok vo Web of Science 
Full Text Finder