Keywords: کامپایلرها; Memory analysis; Incident response; Memory Forensics; Compilers; Reverse Engineering; Malware; Linux Forensics; Digital Forensic Triaging;
مقالات ISI کامپایلرها (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: کامپایلرها; Compilers; Programming languages; JIT Compilation; Loop Analysis; Trip Count Prediction;
Keywords: کامپایلرها; Compilers; Cryptography; Trace theory; Embedded systems security; Side-channel attacks;
Design and evaluation of compact ISA extensions
Keywords: کامپایلرها; 16-bit extension; Code compaction; Code compression; Code generation; Compilers
ScaffCC: Scalable compilation and analysis of quantum programs
Keywords: کامپایلرها; Quantum computation; Compilers; Reversible logic;
Combinators and type-driven transformers in Objective Caml
Keywords: کامپایلرها; Compilers; Functional programming; Datatype-generic programming; Combinators; Modularization and code reuse
Exploring the design space of programmable regular expression matching accelerators
Keywords: کامپایلرها; Regular expression matching; Integer linear programming; Simulated annealing; Network intrusion detection; Design optimization; Hardware accelerators; Compilers; Programmability
Using formal methods to develop WS-BPEL applications
Keywords: کامپایلرها; Service-oriented architectures; Web services; Formal methods; WS-BPEL; Operational semantics; Compilers
Data locality and parallelism optimization using a constraint-based approach
Keywords: کامپایلرها; Constraint networks; Compilers; Loop transformation; Data transformation; Parallelism; Locality
Union and intersection types to support both dynamic and static typing
Keywords: کامپایلرها; Programming languages; Program specification; Compilers; Formal languages; Type systems
Improving chip multiprocessor reliability through code replication
Keywords: کامپایلرها; Reliability; Code replication; Energy consumption; Chip multiprocessors; Compilers
Feedback-directed specialization of code
Keywords: کامپایلرها; Programming languages; Optimizations; Specialization; Compilers; Dynamic code generation
Towards proving type safety of C#C#
Keywords: کامپایلرها; C#C#; Programming languages; Type safety; Semantics; Compilers; Security
Hardware–compiler co-design for adjustable data power savings
Keywords: کامپایلرها; Compilers; Architecture; Power; Adaptation; Data management
Source level merging of independent programs
Keywords: کامپایلرها; Compilers; Source-level; Merging
May/must analysis and the DFAGen data-flow analysis generator
Keywords: کامپایلرها; Data-flow analysis; May; Must; Static analysis; Program analysis; Compilers
Case study: Re-engineering C++ component models via automatic program transformation
Keywords: کامپایلرها; Software transformation; Software analysis; C++; Migration; Component architectures; Legacy systems; Compilers; Reengineering; Abstract syntax trees; Patterns; Rewrite rules
Benchmarking parallel compilers: A UPC case study
Keywords: کامپایلرها; Distributed shared memory; Unified Parallel C; Compilers; Non-Uniform Memory Accesses Architecture; Benchmark; NAS parallel benchmark
Basic skeletons in llc
Keywords: کامپایلرها; Parallel programming; High-level language; Algorithmic skeletons; Compilers; OpenMP; MPI
Producing the left parse during bottom-up parsing
Keywords: کامپایلرها; Compilers; Formal languages; Parsing;
On the parallelization of irregular and dynamic programs
Keywords: کامپایلرها; Irregular programs; Dynamic programs; Pointer-based data structures; Compilers;
On the prediction of reduction goals: a deterministic approach
Keywords: کامپایلرها; Compilers; LR parsing; LL parsing; Reduction goals;