代码大模型 / AI 编程

Scalability and Optimization Strategies for GPU Enhanced Neural Networks (GeNN)

Naresh Balaji, Esin Yavuz, Thomas Nowotny

专题命中 代码生成 ：code generation(abstract)

Lighthouse: A User-Centered Web Service for Linear Algebra Software

Boyana Norris, Sa-Lin Bernstein, Ramya Nair, Elizabeth Jessup

专题命中 代码生成 ：code generation(abstract)

Comments 10 pages, 10 figures, 3 tables

An Integrated Programming and Development Environment for Adiabatic Quantum Optimization

Travis S. Humble, Alex J. McCaskey, Ryan S. Bennink, Jay J. Billings, Ed F. D'Azevedo, Blair D. Sullivan, Christine F. Klymko, Hadayat Seddiqi

专题命中 代码生成 ：program synthesis(abstract)

Comments 28 pages, 17 figures, feedback welcomed, even if it's criticism; v2 manuscript updated based on reviewer feedback; v3 manuscript updated based on reviewer feedback, title modified

Journal ref Comput. Sci. Disc. 7 015006 (2014)

An Algebraic Framework for the Real-Time Solution of Inverse Problems on Embedded Systems

Christoph Gugg, Matthew Harker, Paul O'Leary, Gerhard Rath

专题命中 代码生成 ：code generation(abstract)

Comments 24 pages, journal article

(Quantified) Horn Constraint Solving for Program Verification and Synthesis

Andrey Rybalchenko

专题命中 代码生成 ：program synthesis(abstract)

Applications of the Gauss-Jordan algorithm, done right

Jesús Aransay, Jose Divasón

专题命中 代码生成 ：code generation(abstract)

Synthesis for Polynomial Lasso Programs

Jan Leike, Ashish Tiwari

专题命中 代码生成 ：program synthesis(abstract)

Comments Paper at VMCAI'14, including appendix

High-level programming and control for industrial robotics: using a hand-held accelerometer-based input device for gesture and posture recognition

Pedro Neto, Norberto Pires, Paulo Moreira

专题命中 代码生成 ：code generation(abstract)

Comments Industrial Robot: An International Journal

Journal ref Industrial Robot: An International Journal, Vol. 37 Iss: 2, 2010, pp.137 - 147

Performance and Optimization Abstractions for Large Scale Heterogeneous Systems in the Cactus/Chemora Framework

Erik Schnetter

专题命中 代码生成 ：code generation(abstract)

Synthesis from Knowledge-Based Specifications

Ron van der Meyden, Moshe Y. Vardi

专题命中 代码生成 ：program synthesis(abstract)

Comments An extended abstract of this paper appeared in CONCUR'98

Tenth-Order Lepton Anomalous Magnetic Moment -- Sixth-Order Vertices Containing Vacuum-Polarization Subdiagrams

Tatsumi Aoyama, Masashi Hayakawa, Toichiro Kinoshita, Makiko Nio

专题命中 代码生成 ：code generation(abstract)

Comments 31 pages, 4 figures

A framework for automated PDE-constrained optimisation

S. W. Funke, P. E. Farrell

专题命中 代码生成 ：code generation(abstract)

Multilayer Perceptron Guided Key Generation Through Mutation with Recursive Replacement in Wireless Communication (MLPKG)

Arindam Sarkar, J. K. Mandal

专题命中 代码生成 ：code generation(abstract)

Comments 18 pages

Journal ref International Journal on AdHoc Networking Systems (IJANS) Vol. 2, No. 3, July 2012, 11-28

Mppsocgen: A framework for automatic generation of mppsoc architecture

Emna Kallel, Yassine Aoudni, Mouna Baklouti, Mohamed Abid

专题命中 代码生成 ：code generation(abstract)

Comments 16 pages; International Journal of Computer Science & Information Technology (IJCSIT) Vol 4, No 2, April 2012

Towards Quality of Service and Resource Aware Robotic Systems through Model-Driven Software Development

Andreas Steck, Christian Schlegel

专题命中 代码生成 ：code generation(abstract)

Comments 6 pages; 1st International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob'10), October 2010

Local Strategy Improvement for Parity Game Solving

Oliver Friedmann, Martin Lange

专题命中 代码生成 ：program synthesis(abstract)

Journal ref EPTCS 25, 2010, pp. 118-131

Beyond XSPEC: Towards Highly Configurable Analysis

Michael S. Noble, Michael A. Nowak

专题命中 代码生成 ：code generation(abstract)

Comments Accepted by PASP, for July 2008 (15 pages)

Automatic generation of vacuum amplitude many-body perturbation series

P. D. Stevenson

专题命中 代码生成 ：code generation(abstract)

Comments Accepted for publication in Int. J. Mod. Phys. C

The Role of Schema Matching in Large Enterprises

Ken Smith, Michael Morse, Peter Mork, Maya Li, Arnon Rosenthal, David Allen, Len Seligman, Chris Wolf

专题命中 代码生成 ：code generation(abstract)

Comments CIDR 2009

FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems

Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll

专题命中 代码生成 ：code generation(abstract)

Comments (bibliography update)

Computer Algebra Applications for Numerical Relativity

Sascha Husa, Christiane Lechner

专题命中 代码生成 ：code generation(abstract)

Comments 5 pages, no figures. To appear in the Proceedings of the Spanish Relativity Meeting (ERE 2002), Mao, Menorca, Spain, 22-24 Sept 2002

A Parallel Algorithm for Dilated Contour Extraction from Bilevel Images

B. R. Schlei, L. Prasad

专题命中 代码生成 ：code generation(abstract)

Comments 5 pages, including 3 figures. For additional detail check http://www.nis.lanl.gov/~bschlei/labvis/index.html