Works matching DE "COMPILERS (Computer programs)"

Results: 750

BoostPolyGlot: A Structured IR Generation-Based Fuzz Testing Framework for GCC Compiler Frontend.

Published in:

Applied Sciences (2076-3417), 2025, v. 15, n. 11, p. 5935, doi. 10.3390/app15115935

By:

Liu, Hui;
Guo, Hanbin;
Liu, Peng;
Hou, Tongding

Publication type:

Article

Computer Games Development Class with Appreciative Learning Approach: From the Perspective of Bloom's Taxomony.

Published in:

Pertanika Journal of Social Sciences & Humanities, 2012, v. 20, n. 3, p. 645

By:

Ali, Wan Zah Wan;
Eow Yee Leng;
Mahmud, Rosnaini;
Baki, Roselan

Publication type:

Article

Improving the structure of loop nests in scientific programs.

Published in:

Computer Systems Science & Engineering, 2004, v. 19, n. 1, p. 11

By:

Abdelrahman, Tarek S;
Sawaya, Robert

Publication type:

Article

CRN++: Molecular programming language.

Published in:

Natural Computing, 2020, v. 19, n. 2, p. 391, doi. 10.1007/s11047-019-09775-1

By:

Vasić, Marko;
Soloveichik, David;
Khurshid, Sarfraz

Publication type:

Article

Parallel discriminative subspace for city target detection from high dimension images.

Published in:

GeoInformatica, 2022, v. 26, n. 2, p. 299, doi. 10.1007/s10707-020-00399-7

By:

Zhang, Yipeng;
Zhang, Yiming;
Du, Bo;
Zhang, Chao;
Guo, Xiaoyang;
Tu, Weiping

Publication type:

Article

A compiler approach to map algebra: automatic parallelization, locality optimization, and GPU acceleration of raster spatial analysis.

Published in:

GeoInformatica, 2018, v. 22, n. 2, p. 211, doi. 10.1007/s10707-017-0312-3

By:

Carabaño, Jesús;
Westerholm, Jan;
Sarjakoski, Tapani

Publication type:

Article

Sound and precise static analysis using a generalization of static single assignment and value numbering.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 5, p. 621, doi. 10.1007/s10009-024-00762-1

By:

Taft, S. Tucker

Publication type:

Article

Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 463, doi. 10.1007/s10009-024-00760-3

By:

Monniaux, David

Publication type:

Article

Deductive verification of smart contracts with Dafny.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 131, doi. 10.1007/s10009-024-00738-1

By:

Cassez, Franck;
Fuller, Joanne;
Antón Quiles, Horacio Mijail

Publication type:

Article

Correct program parallelisations.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 741, doi. 10.1007/s10009-020-00601-z

By:

Blom, S.;
Darabi, S.;
Huisman, M.;
Safari, M.

Publication type:

Article

Introduction to the Special Issue devoted to SPIN 2018.

Published in:

2020

By:

Gallardo, María del Mar;
Merino, Pedro

Publication type:

Editorial

SPARK 2014 and GNATprove.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 695, doi. 10.1007/s10009-014-0322-5

By:

Hoang, Duc;
Moy, Yannick;
Wallenburg, Angela;
Chapman, Roderick

Publication type:

Article

Towards an industrial grade IVE for Java and next generation research platform for JML.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 429, doi. 10.1007/s10009-010-0164-8

By:

Chalin, Patrice;
Robby;
James, Perry R.;
Jooyong Lee;
Karabotsos, George

Publication type:

Article

Bellman’s GAP—a language and compiler for dynamic programming in sequence analysis.

Published in:

Bioinformatics, 2013, v. 29, n. 5, p. 551, doi. 10.1093/bioinformatics/btt022

By:

Sauthoff, Georg;
Möhl, Mathias;
Janssen, Stefan;
Giegerich, Robert

Publication type:

Article

baobabLUNA: the solution space of sorting by reversals.

Published in:: Bioinformatics, 2009, v. 25, n. 14, p. 1833, doi. 10.1093/bioinformatics/btp285
Publication type:: Article

Félix Candela y Fernando Higueras. Ocho años y siete proyectos en común.

Published in:

VLC Arquitectura, 2022, v. 9, n. 1, p. 161, doi. 10.4995/vlc.2022.15288

By:

del Blanco García, Federico Luis;
García Ríos, Ismael

Publication type:

Article

A loop unrolling method based on machine learning.

Published in:

Vibroengineering Procedia, 2018, v. 18, p. 215, doi. 10.21595/vp.2018.19928

By:

Hui Liu;
Zhanjie Guo

Publication type:

Article

Sparktope: linear programs from algorithms.

Published in:

Optimization Methods & Software, 2022, v. 37, n. 3, p. 954, doi. 10.1080/10556788.2020.1864370

By:

Avis, David;
Bremner, David

Publication type:

Article

基于多核 DSP 的矢量高效 QR 分解技术.

Published in:

Telecommunication Engineering, 2023, v. 63, n. 4, p. 536, doi. 10.20079/j.issn.1001-893x.220228002

By:

张宇帆;
陈颖;
方科;
费霞

Publication type:

Article

Open source MySQL Browser for Open Innovation.

Published in:

Journal of Economic Development, Environment & People, 2014, v. 3, n. 2, p. 32, doi. 10.26458/jedep.v3i2.71

By:

Bucea-Manea-Tonis, Radu

Publication type:

Article

Web-based nautical charts automated compilation from open hydrospatial data.

Published in:

Journal of Navigation, 2022, v. 75, n. 4, p. 763, doi. 10.1017/S0373463322000327

By:

Contarinis, Stilianos;
Nakos, Byron;
Tsoulos, Lysandros;
Palikaris, Athanasios

Publication type:

Article

Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 438, doi. 10.1017/S1471068418000170

By:

DAHLEM, MARC;
BHAGYANATH, ANOOP;
SCHNEIDER, KLAUS;
Dal Palu, Alessandro;
Tarau, Paul

Publication type:

Article

String formatting considered harmful for novice programmers.

Published in:

Computer Science Education, 2010, v. 20, n. 3, p. 201, doi. 10.1080/08993408.2010.507335

By:

Hughes, Michael C.;
Jadud, Matthew C.;
Rodrigo, Ma. Mercedes T.

Publication type:

Article

Equivalence checking of Petri net models of programs using static and dynamic cut-points.

Published in:

Acta Informatica, 2019, v. 56, n. 4, p. 321, doi. 10.1007/s00236-018-0320-2

By:

Bandyopadhyay, Soumyadip;
Sarkar, Dipankar;
Mandal, Chittaranjan

Publication type:

Article

Canis: A High‐Level Language for Data‐Driven Chart Animations.

Published in:

Computer Graphics Forum, 2020, v. 39, n. 3, p. 607, doi. 10.1111/cgf.14005

By:

Ge, T.;
Zhao, Y.;
Lee, B.;
Ren, D.;
Chen, B.;
Wang, Y.

Publication type:

Article

An Optimizing Compiler for Automatic Shader Bounding.

Published in:

Computer Graphics Forum, 2010, v. 29, n. 4, p. 1259, doi. 10.1111/j.1467-8659.2010.01721.x

By:

Clarberg, Petrik;
Toth, Robert;
Hasselgren, Jon;
Akenine-Möller, Tomas

Publication type:

Article

SafeGI: Type Checking to Improve Correctness in Rendering System Implementation.

Published in:

Computer Graphics Forum, 2010, v. 29, n. 4, p. 1269, doi. 10.1111/j.1467-8659.2010.01722.x

By:

Ou, Jiawei;
Pellacini, Fabio

Publication type:

Article

TRAJECTRORY CONTROL FOR AN INCREMENTAL FORMING PROCESS USING AN INDUSTRIAL ROBOT IN DELMIA.

Published in:

Academic Journal of Manufacturing Engineering, 2013, v. 11, n. 1, p. 32

By:

CHERA, Ionuţ;
BOLOGA, Octavian;
RACZ, Gabriel;
BREAZ, Radu

Publication type:

Article

Teaching Application and Evaluation of Ideological and Political Courses Based on Multisource Data Fusion.

Published in:

Security & Communication Networks, 2022, p. 1, doi. 10.1155/2022/7048698

By:

Zhou, Jieqiong;
Wei, Zhenhua;
Shi, Jianwei

Publication type:

Article

ROBOT PROGRAMMING SYSTEM BASED ON L-IRL PROGRAMMING LANGUAGE.

Published in:

Acta Technica Corviniensis - Bulletin of Engineering, 2012, v. 5, n. 2, p. 27

By:

Lutovac, Maja;
Ferenc, Goran;
Kvrgic, Vladimir;
Vidakovic, Jelena;
Dimic, Zoran

Publication type:

Article

11 Compiler Pragmas.

Published in:

Journal of Functional Programming, 2003, v. 13, n. 1, p. 145, doi. 10.1017/s095679680300131x

By:

SIMON PEYTON JONES

Publication type:

Article

Estimando a aceleração da expansão do Universo com o SimECosmo.

Published in:

Caderno Brasileiro de Ensino de Física, 2022, v. 44, p. 1, doi. 10.1590/1806-9126-RBEF-2022-0143

By:

Pereira Raymundo, Iuri Baranov;
de Oliveira Baraúna Ferreira, Luan Orion;
Wolney Mello, Matheus Monteiro;
Pigozzo, Cássio

Publication type:

Article

Grace Hopper: Compilers and Cobol.

Published in:

IT Professional, 2015, v. 17, n. 1, p. 62, doi. 10.1109/MITP.2015.6

By:

Strawn, George;
Strawn, Candace

Publication type:

Article

Compiler Transformations to Enable Synchronous Execution in an RIA Runtine.

Published in:

IEEE Internet Computing, 2010, v. 14, n. 3, p. 13, doi. 10.1109/MIC.2010.65

By:

Narayana Iyer, Anantharaman P.;
Chatterjee, Arijit;
Kishnani, Jyoti

Publication type:

Article

Perl 6 News.

Published in:

Perl Review, 2008, v. 4, n. 3, p. 7

By:

Duff, Jonathan Scott

Publication type:

Article

State Variables in Perl 5.10.

Published in:

Perl Review, 2007, v. 4, n. 1, p. 20

By:

Foy, Brian D.

Publication type:

Article

Parrot Status Report.

Published in:

Perl Review, 2007, v. 4, n. 1, p. 7

By:

Duff, Scott

Publication type:

Article

DIESEL-MP2: A new program to perform large-scale multireference-MP2 computations.

Published in:

Journal of Computational Chemistry, 2006, v. 27, n. 10, p. 1055, doi. 10.1002/jcc.20416

By:

Musch, Patrick;
Engels, Bernd

Publication type:

Article

Patent Eligibility of Programming Languages and Tools.

Published in:

Tulane Journal of Technology & Intellectual Property, 2010, v. 13, p. 133

By:

Zimmeck, Sebastian

Publication type:

Article

A Recommendation Model for College English Digital Teaching Resources Using Collaborative Filtering and Few-Shot Learning Technology.

Published in:

Computational Intelligence & Neuroscience, 2022, p. 1, doi. 10.1155/2022/1233057

By:

Li, Juan

Publication type:

Article

The Evolution of Compilers.

Published in:

Resonance: Journal of Science Education, 2007, v. 12, n. 8, p. 8, doi. 10.1007/s12045-007-0080-8

By:

Shankar, Priti

Publication type:

Article

Under the Lens: A Report on Global Dental Morphology Modules.

Published in:

International Journal of Morphology, 2022, v. 40, n. 6, p. 1497, doi. 10.4067/s0717-95022022000601497

By:

Chowdhry, Aman;
Kapoor, Priyanka;
Dahal, Samarika;
Cancer, Lisda;
Fonseca, Gabriel M.;
Aka, Sema P.;
Putera Mohd Yusof, Mohd Yusmiaidil;
Berketa, John W.;
Capitaneanu, Cezar;
Bedek, Ivan;
Temoor Baig, Humayoun;
Nuzzolese, Emilio

Publication type:

Article

Improving Students' Performance with Visualization of Error Recovery Strategies in Syntax Analysis.

Published in:

Journal of Research & Practice in Information Technology, 2013, v. 45, n. 3/4, p. 237

By:

Urquiza-Fuentes, Jaime;
Almeida-Martínez, Francisco J.;
Pérez-Carrasco, Antonio;
Velázquez-Iturbide, J. Ángel

Publication type:

Article

Communication-free data alignment for arrays with exponential references in parallelizing compilers for scalable parallel systems.

Published in:

Journal of Supercomputing, 2012, v. 60, n. 1, p. 4, doi. 10.1007/s11227-009-0280-y

By:

Guo, Minyi;
Chang, Weng-Long;
Jiang, Bo;
Huang, Shu-Chien;
Tsai, Sien-Tang;
Ho, Michael

Publication type:

Article

Using SPEC CPU2006 to evaluate the sequential and parallel code generated by commercial and open-source compilers.

Published in:

Journal of Supercomputing, 2012, v. 59, n. 1, p. 486, doi. 10.1007/s11227-010-0449-4

By:

Aldea, Sergio;
Llanos, Diego;
González-Escribano, Arturo

Publication type:

Article

Automatic code generation for GPUs in llc.

Published in:

Journal of Supercomputing, 2011, v. 58, n. 3, p. 349, doi. 10.1007/s11227-011-0591-7

By:

Reyes, Ruyman;
Sande, Francisco

Publication type:

Article

An approximate method for filtering out data dependencies with a sufficiently large distance between memory references.

Published in:

Journal of Supercomputing, 2011, v. 56, n. 2, p. 226, doi. 10.1007/s11227-009-0364-8

By:

Bulić, Patricio;
Dobravec, Tomaž

Publication type:

Article

The Cilk++ concurrency platform.

Published in:

Journal of Supercomputing, 2010, v. 51, n. 3, p. 244, doi. 10.1007/s11227-010-0405-3

By:

Leiserson, Charles E.

Publication type:

Article

Compiler assisted architectural exploration framework for coarse grained reconfigurable arrays.

Published in:

Journal of Supercomputing, 2009, v. 48, n. 2, p. 115, doi. 10.1007/s11227-008-0208-y

By:

Dimitroulakos, Grigorios;
Kostaras, Nikos;
Galanis, Michalis D.;
Goutis, Costas E.

Publication type:

Article

The systems edge of the Parameterized Linear Array with a Reconfigurable Pipelined Bus System (LARPBS(p)) optical bus parallel computing model.

Published in:

Journal of Supercomputing, 2009, v. 48, n. 2, p. 183, doi. 10.1007/s11227-008-0223-z

By:

d'Auriol, Brian J.

Publication type:

Article