-
1
المؤلفون: Lundén, Daniel, Öhman, Joey, Kudlicka, Jan, Senderov, Viktor, Ronquist, Fredrik, 1962, Broman, David
المصدر: Programming Languages and Systems Lecture Notes in Computer Science. :29-56
مصطلحات موضوعية: Compilers, GPU Compilation, Probabilistic Programming Languages, Sequential Monte Carlo, Application programming interfaces (API), C++ (programming language), Data flow analysis, Flow graphs, Graphics processing unit, Monte Carlo methods, Automatic inference, Control-flow graphs, Inference problem, Language implementations, Low-level language, Monte Carlo inference, Probabilistic programming language, Real-world problem, Program compilers
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-206351Test
https://doi.org/10.1007/978-3-030-99336-8_2Test -
2
المؤلفون: Weisskopf Holmqvist, David, Memeti, Suejb, 1988
المصدر: Euro-Par 2023 Lecture Notes in Computer Science (LNCS). :110-122
مصطلحات موضوعية: compilers, domain-specific languages, language abstractions, performance monitoring, Abstracting, C++ (programming language), Codes (symbols), Problem oriented languages, Program compilers, C programs, C/C++ programs, Compiler, Domains specific languages, High level of abstraction, Language abstraction, Line of codes, Monitoring probes, Performance data, Performance-monitoring, Probes
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-26213Test
https://arxiv.org/abs/2311.03535Test -
3
المؤلفون: Memeti, Suejb, 1988
المصدر: Euro-Par 2023 Lecture Notes in Computer Science (LNCS). :219-231
مصطلحات موضوعية: component-based programming, heterogeneous parallel computing systems, implementation variant selection, performance optimization, source-to-source compilation, Benchmarking, Codes (symbols), Optimal systems, Program compilers, Component based, Heterogeneous parallel computing, Heterogeneous parallel computing system, Heterogeneous systems, Parallel computing system, Performance optimizations, Variant selection, Parallel programming
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-26215Test
https://arxiv.org/abs/2311.03543Test -
4
المصدر: The journal of artificial intelligence research. 72:1471-1505
مصطلحات موضوعية: Application programs, Codes (symbols), Computer software reusability, Constraint programming, Constraint theory, Economic and social effects, Embedded systems, Optimal systems, Optimization, Quality control, Application specific, Assembly code, Binary programs, Code versions, Constraint-based, Deployment process, Distance measure, Large neighbourhood searches, Large-scales, Software deployment, Program compilers
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-307147Test
https://doi.org/10.1613/JAIR.1.12848Test -
5
المؤلفون: Maioli, A., Alizai, M. H., Mottola, Luca, Siddiqui, J. H.
المصدر: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). :203-207
مصطلحات موضوعية: Intermittence bugs, Intermittent computing, Mixed-volatile systems, Transiently-powered computing, Digital storage, Electric batteries, Embedded systems, Energy harvesting, Internet of things, Program compilers, Space platforms, Testing, Brute-force approach, Non-volatile memory, Orders of magnitude, Resourceconstrained devices, Testing technique, Program debugging
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-40161Test
https://doi.org/10.1145/3316482.3326346Test -
6
المؤلفون: Broman, David, 1977
المصدر: SLE 2019 - Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2019. :55-60
مصطلحات موضوعية: Compilers, Composition, Domain-specific languages, Machine learning, Modeling languages, Semantics, Chemical analysis, Computer aided software engineering, Embedded systems, Learning systems, Problem oriented languages, Program compilers, Specification languages, Concrete research, Domain specific languages, Domain specific modeling languages, Execution platforms, Language compositions, Language environment, Modeling environments, Probabilistic programming
وصف الملف: electronic
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-272342Test
https://kth.diva-portal.org/smash/get/diva2:1430148/FULLTEXT01.pdfTest -
7
المؤلفون: Ciccozzi, Federico, 1983
المصدر: 2024 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA).
مصطلحات موضوعية: automatic parallelization, hybrid software, model-driven engineering, Computation offloading, Embedded systems, Program compilers, Semantics, Computational power, Heterogeneous hardware, Holistic approach, Model-driven, Parallel hardware, Programming skills, Software programming, Modeling languages
وصف الملف: print
-
8دورية أكاديمية
المؤلفون: Geancarlo Abich, Rafael Garibotti, Vitor Bandeira, Felipe da Rosa, Jonas Gava, Felipe Bortolon, Guilherme Medeiros, Fernando G. Moraes, Ricardo Reis, Luciano Ost
المصدر: IET Computers & Digital Techniques, Vol 15, Iss 2, Pp 125-142 (2021)
مصطلحات موضوعية: program compilers, just‐in‐time, microprocessor chips, radiation hardening (electronics), Linux, multiprocessing systems, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
9دورية أكاديمية
المؤلفون: Ramanuj Chouksey, Sachin Kumar Maddheshiya, Chandan Karfa
المصدر: IET Software, Vol 15, Iss 1, Pp 147-159 (2021)
مصطلحات موضوعية: data analysis, formal verification, program compilers, program testing, program verification, Computer software, QA76.75-76.765
وصف الملف: electronic resource
-
10
المساهمون: Repositório Científico do Instituto Politécnico do Porto
مصطلحات موضوعية: Program compilers, Real-time systems, Scheduling, Task analysis
وصف الملف: application/pdf
العلاقة: 2576-3172