Zobrazeno 1 - 10
of 720
pro vyhledávání: '"Compiled language"'
Autor:
Soloveva, Julia
Der zunehmende Fokus auf Energieeffizienz in verschiedenen Industriesektoren verdeutlicht die Herausforderungen des Cloud Computing, einer aufstrebenden Technologie mit hohem Energiebedarf. Die Gewährleistung der Energieeffizienz im Cloud Computing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_____10650::1b5d540a4097fec7ac6bc29643f84a9d
Autor:
George V. Neville-Neil
Publikováno v:
Queue. 19:16-19
One should never hardcode a version or a path inside the code itself. Code needs to be flexible so that it can be installed anywhere and run anywhere so long as the necessary dependencies can be resolved, either at build time for statically compiled
Autor:
Deepak Garg, Marco Patrignani
Publikováno v:
ACM Transactions on Programming Languages and Systems
Security-preserving compilers generate compiled code that withstands target-level attacks such as alteration of control flow, data leaks, or memory corruption. Many existing security-preserving compilers are proven to be fully abstract, meaning that
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-28
Halide is a domain-specific language for high-performance image processing and tensor computations, widely adopted in industry. Internally, the Halide compiler relies on a term rewriting system to prove properties of code required for efficient and c
Autor:
Dmitry Pavlov, Ivan Dolgakov
Publikováno v:
Journal of Mathematical Sciences. 251:354-362
Most numerical solvers used to determine the free variables of dynamical systems rely on firstorder derivatives of the state of the system with respect to the free variables. The number of free variables can be fairly large. One of the approaches to
Autor:
Kostiantyn Zhereb
Publikováno v:
PROBLEMS IN PROGRAMMING. :115-125
Python is a popular programming language used in many areas, but its performance is significantly lower than many compiled languages. We propose an approach to increasing performance of Python code by transforming fragments of code to more efficient
Publikováno v:
Groundwater, 59(1), 117. Wiley-Blackwell
High‐performance numerical codes are an indispensable tool for hydrogeologists when modeling subsurface flow and transport systems. But as they are written in compiled languages, like C/C++ or Fortran, established software packages are rarely user
Publikováno v:
DLS
Relational database management systems (RDBMS) are operationally similar to a dynamic language processor. They take SQL queries as input, dynamically generate an optimized execution plan, and then execute it. In recent decades, the emergence of in-me
Autor:
Carmine Abate, Roberto Blanco, Ștefan Ciobâcă, Marco Patrignani, Adrien Durier, Jérémy Thibault, Éric Tanter, Cătălin Hrițcu, Deepak Garg
Publikováno v:
Programming Languages and Systems
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems ISBN: 9783030449131
ESOP
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems ISBN: 9783030449131
ESOP
Compiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here traces collect,
Autor:
Nikolay Strigul, Adam Erickson
Publikováno v:
Ecography. 43:682-688
Modeling forest ecosystems is a landmark challenge in science, due to the complexity of the processes involved and their importance in predicting future planetary conditions. While there are a number of open‐source forest biogeochemistry models, fe