Search Results - (endededededecoding OR (coding OR decoding)) (algorithmics OR (algorithm OR algorithm))

A stellar evolutionary grid for binary population synthesis: from the main sequence to helium ignition by Rees, Natalie R., Izzard, Robert G., Hendriks, David D.

Table of Contents: “… on the consequent evolution of stars. This is generally not accounted for in population synthesis codes which…”
Get full text

SRLCG: Self-Rectified Large-Scale Code Generation with Multidimensional Chain-of-Thought and Dynamic Backtracking by Ma, Hongru, Liang, Yanjie, Si, Jiasheng, Zhang, Weiyu, Guan, Hongjiao, Zheng, Chaoqun, Xu, Bing, Lu, Wenpeng

Table of Contents: “… proposed dynamic backtracking algorithm. Experimental results show that SRLCG generates code 15x longer…”
Get full text

Benchmarking the Parallel 1D Heat Equation Solver in Chapel, Charm++, C++, HPX, Go, Julia, Python, Rust, Swift, and Java by Diehl, Patrick, Brandt, Steven R., Morris, Max, Gupta, Nikunj, Kaiser, Hartmut

Table of Contents: “…Many scientific high performance codes that simulate e.g. black holes, coastal waves, climate…”
Get full text

Particle-in-cell simulations of pulsar magnetospheres: transition between electrosphere and force-free regimes by Cruz, Fábio, Grismayer, Thomas, Chen, Alexander Y., Spitkovsky, Anatoly, Fonseca, Ricardo A., Silva, Luis O.

Table of Contents: “…-algorithms of the code and thorough benchmarks are presented in detail, including a new first-order current…”
Get full text

XtalOpt Version 13: Multi-Objective Evolutionary Search for Novel Functional Materials by Hajinazar, Samad, Zurek, Eva

Table of Contents: “…Version 13 of XtalOpt, an evolutionary algorithm for crystal structure prediction, is now available…”
Get full text

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers by Monniaux, David

Table of Contents: “… that certain industries face when they have to demonstrate to authorities that the object code they run truly…”
Get full text

Fast computation of permanents over $\mathbb{F}_3$ via $\mathbb{F}_2$ arithmetic by Scheinerman, Danny

Table of Contents: “… operations (and, or, xor). We use this machinery to develop a fast algorithm for computing the permanent of a…”
Get full text

MPPI-Generic: A CUDA Library for Stochastic Trajectory Optimization by Vlahov, Bogdan, Gibson, Jason, Gandhi, Manan, Theodorou, Evangelos A.

Table of Contents: “… for these algorithms to be used across many pre-existing dynamics models and cost functions. Furthermore, researchers…”
Get full text

A Resource Allocating Compiler for Lattice Surgery by Robertson, Alan, Gao, Haowen, Sanders, Yuval R.

Table of Contents: “… of these circuits depends on placement and routing algorithms, which are infeasible to construct at scale by hand…”
Get full text

On the Fundamental Tradeoff of Joint Communication and QCD: The Monostatic Case by Lim, Sung Hoon, Seo, Daewon

Table of Contents: “… introduce a novel Joint Communication and quickest Change subblock coding Strategy (JCCS) that leverages…”
Get full text

Automatic Adjustment of HPA Parameters and Attack Prevention in Kubernetes Using Random Forests by Zhou, Hanlin, Chan, Huah Yong, Ni, Jingfei, Wu, Mengchun, Deng, Qing

Table of Contents: “…In this paper, HTTP status codes are used as custom metrics within the HPA as the experimental…”
Get full text

eChem: Accelerated Method Development in Quantum Chemistry with Notebooks by Manuel Hodecker, Patrick Norman, Iulia Emilia Brumboiu

Table of Contents: “… method development by means of code prototyping in notebooks. Complex equations can be understood…”
Get full text

RepoHyper: Search-Expand-Refine on Semantic Graphs for Repository-Level Code Completion by Phan, Huy N., Phan, Hoang N., Nguyen, Tien N., Bui, Nghi D. Q.

Table of Contents: “…Code Large Language Models (CodeLLMs) have demonstrated impressive proficiency in code completion…”
Get full text

BigO(Bench) -- Can LLMs Generate Code with Controlled Time and Space Complexity? by Chambon, Pierre, Roziere, Baptiste, Sagot, Benoit, Synnaeve, Gabriel

Table of Contents: “…We introduce BigO(Bench), a novel coding benchmark designed to evaluate the capabilities…”
Get full text

NL-Debugging: Exploiting Natural Language as an Intermediate Representation for Code Debugging by Zhang, Weiming, Li, Qingyao, Dai, Xinyi, Chen, Jizheng, Du, Kounianhua, Liu, Weiwen, Wang, Yasheng, Tang, Ruiming, Yu, Yong, Zhang, Weinan

Table of Contents: “…Debugging is a critical aspect of LLM's coding ability. Early debugging efforts primarily focused…”
Get full text

Good Integers: A Comprehensive Review with Applications by Jitman, Somphong

Table of Contents: “… in coding theory. This paper provides a comprehensive review of good integers, emphasizing both…”
Get full text

Discovering Software Parallelization Points Using Deep Neural Networks by Correia, Izavan dos S., Santos, Henrique C. T., Ferreira, Tiago A. E.

Table of Contents: “… according to their potential for parallelization. Two genetic algorithm-based code generators were developed…”
Get full text

Improving HPC Code Generation Capability of LLMs via Online Reinforcement Learning with Real-Machine Benchmark Rewards by Mikasa, Ryo, Hayashi, Shun-ichiro, Mukunoki, Daichi, Hoshino, Tetsuya, Katagiri, Takahiro

Table of Contents: “…Large language models (LLMs) have demonstrated strong code generation capabilities, yet the runtime…”
Get full text

CodeGENCAT: Generative Computerized Adaptive Testing for Open-ended Coding Problems by Feng, Wanyong, Scarlatos, Alexander, Sun, Ruochen, Lan, Andrew

Table of Contents: “… question-selection algorithms that measure uncertainty, coding style diversity, and information from…”
Get full text

Roll Out and Roll Back: Diffusion LLMs are Their Own Efficiency Teachers by Zeng, Fanqin, Hong, Feng, Yu, Geng, Zheng, Huangjie, Cao, Xiaofeng, Zhang, Ya, Han, Bo, Wang, Yanfeng, Yao, Jiangchao

Table of Contents: “… still face a severe quality-speed trade-off: accelerating decoding by revealing multiple tokens often…”
Get full text