13,044 results for code

arxiv.org/abs/1909.12635v1

LTL Model Checking of Self Modifying Code

Self modifying code is code that can modify its own instructions during the execution of the program. It is extensively used by malware writers to obfuscate their malicious code. Thus, analysing self modifying code is nowadays a big challenge. In thi...

arxiv.org/abs/1906.06006v2

Periodic Neural Codes and Sound Localization in Barn Owls

Inspired by the sound localization system of the barn owl, we define a new class of neural codes, called periodic codes, and study their basic properties. Periodic codes are binary codes with a special patterned form that reflects the periodicity of...

arxiv.org/abs/2506.06544v2

Reasoning about External Calls

In today's complex software, internal trusted code is tightly intertwined with external untrusted code. To reason about internal code, programmers must reason about the potential effects of calls to external code, even though that code is not trusted...

www.bing.com/ck/a?!&&p=9dd32d299a9cce838d8cccf8501883ac365a394424700a38dc60ae8d7b4c2268JmltdHM9MTc3MjY2ODgwMA&ptn=3&ver=2&hsh=4&fclid=2e335075-2eba-68a0-1273-47612f686931&u=a1aHR0cHM6Ly9yZWZlci5ndWlkZS9yL2dpbHQ&ntb=1

Gilt referral code : $25 - Refer.guide

Gilt referral code or promo code, what is the difference? Both codes offer rewards to users, but there's only one small difference. A Gilt promo code is usually a code created by Gilt to incentivize their …

arxiv.org/abs/2505.24480v1

Towards Effective Code-Integrated Reasoning

In this paper, we investigate code-integrated reasoning, where models generate code when necessary and integrate feedback by executing it through a code interpreter. To acquire this capability, models must learn when and how to use external code tool...

arxiv.org/abs/1706.05688v1

On affine variety codes from the Klein quartic

We study a family of primary affine variety codes defined from the Klein quartic. The duals of these codes have previously been treated in [12, Ex. 3.2]. Among the codes that we construct almost all have parameters as good as the best known codes acc...

arxiv.org/abs/1409.0610v3

Message Encoding and Retrieval for Spread and Cyclic Orbit Codes

Spread codes and cyclic orbit codes are special families of constant dimension subspace codes. These codes have been well-studied for their error correction capability, transmission rate and decoding methods, but the question of how to encode and ret...

arxiv.org/abs/2401.02911v2

Lift-Connected Surface Codes

We use the recently introduced lifted product to construct a family of Quantum Low Density Parity Check Codes (QLDPC codes). The codes we obtain can be viewed as stacks of surface codes that are interconnected, leading to the name lift-connected surf...

arxiv.org/abs/1509.02291v1

Towards Product Lining Model-Driven Development Code Generators

A code generator systematically transforms compact models to detailed code. Today, code generation is regarded as an integral part of model-driven development (MDD). Despite its relevance, the development of code generators is an inherently complex t...

arxiv.org/abs/1806.07659v2

Toxic Code Snippets on Stack Overflow

Online code clones are code fragments that are copied from software projects or online sources to Stack Overflow as examples. Due to an absence of a checking mechanism after the code has been copied to Stack Overflow, they can become toxic code snipp...