Works matching DE "SYNTAX in programming languages"

Results: 225

An Approach to the Design of Specific Hardware Circuits From C Programs.

Published in:

Journal of Information Science & Engineering, 2018, v. 34, n. 2, p. 337, doi. 10.6688/JISE.2018.34.2.2

By:

CHENG-JUEI YU;
YI-HSIN WU;
SHENG-DE WANG

Publication type:

Article

Solving the VerifyThis 2012 challenges with VeriFast.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 659, doi. 10.1007/s10009-014-0310-9

By:

Jacobs, Bart;
Smans, Jan;
Piessens, Frank

Publication type:

Article

hts-nim: scripting high-performance genomic analyses.

Published in:

Bioinformatics, 2018, v. 34, n. 19, p. 3387, doi. 10.1093/bioinformatics/bty358

By:

Pedersen, Brent S;
Quinlan, Aaron R

Publication type:

Article

Reproducible and flexible simulation experiments with ML-Rules and SESSL.

Published in:

Bioinformatics, 2018, v. 34, n. 8, p. 1424, doi. 10.1093/bioinformatics/btx741

By:

Warnke, T;
Helms, T;
Uhrmacher, A M

Publication type:

Article

BioQueue: a novel pipeline framework to accelerate bioinformatics analysis.

Published in:

Bioinformatics, 2017, v. 33, n. 20, p. 3286, doi. 10.1093/bioinformatics/btx403

By:

Li Yao;
Heming Wang;
Yuanyuan Song;
Guangchao Sui

Publication type:

Article

Drug drug interaction extraction from biomedical literature using syntax convolutional neural network.

Published in:

Bioinformatics, 2016, v. 32, n. 22, p. 3444, doi. 10.1093/bioinformatics/btw486

By:

Zhehuan Zhao;
Zhihao Yang;
Ling Luo;
Hongfei Lin;
Jian Wang

Publication type:

Article

Coala: an R framework for coalescent simulation.

Published in:

Bioinformatics, 2016, v. 32, n. 12, p. 1903, doi. 10.1093/bioinformatics/btw098

By:

Staab, Paul R.;
Metzler, Dirk

Publication type:

Article

基于 Qt 的 Veribg 故障注入工具设计与实现.

Published in:

Experimental Technology & Management, 2019, v. 36, n. 1, p. 153, doi. 10.16791/j.cnki.sjg.2019.01.036

By:

王洁;
康俊杰;
HOU Gang;
于健海

Publication type:

Article

Programmoire: Refiguring Witchcraft for a Creative Agency via Computational Art Practice.

Published in:

Leonardo, 2023, v. 56, n. 3, p. 244, doi. 10.1162/leon_a_02376

By:

Desouky, Batool

Publication type:

Article

I am _your_Pyrate Dancer: Choreographic Computabilities Dancing inside the Interstices of a Visceral World.

Published in:

Leonardo, 2023, v. 56, n. 1, p. 50, doi. 10.1162/leon_a_02301

By:

Mauro-Flude, Nancy;
Pollitt, Jo

Publication type:

Article

Syntax Design Patterns: Lessons Learned from Popular Programming Languages.

Published in:

Grenze International Journal of Engineering & Technology (GIJET), 2025, v. 11, n. Part2, p. 5344

By:

Vayadande, Kuldeep;
Khode, Atharva;
Khorate, Tanishk;
Mane, Khushi;
Kodgirwar, Parth;
Kokaje, Janhavi

Publication type:

Article

Comparing Three Free to Use Visual Programming Environments for Novice Programmers.

Published in:

Kastamonu Education Journal / Kastamonu Eğitim Dergisi, 2019, v. 27, n. 6, p. 2701, doi. 10.24106/kefdergi.3640

By:

KAYA, Kadir Yücel;
YILDIZ, İsmail

Publication type:

Article

Probe on Syntax Analyzer.

Published in:

BVICAM's International Journal of Information Technology, 2016, v. 8, n. 2, p. 990

By:

Farhanaaz;
Sanju. V;
Vinayaka Murthy, M.

Publication type:

Article

A review of integrating space syntax analysis into heritage impact assessment: a comprehensive framework for sustainable historic urban development.

Published in:

International Journal of Urban Sciences, 2025, v. 29, n. 1, p. 123, doi. 10.1080/12265934.2024.2438190

By:

Chakraborty, Shilpi;
Ji, Shiva

Publication type:

Article

Implementing Dynamically Evolvable Communication with Embedded Systems through WEB Services.

Published in:

International Journal of Electrical & Computer Engineering (2088-8708), 2016, v. 6, n. 1, p. 381, doi. 10.11591/ijece.v6i1.pp381-398

By:

Bhanu, J. Sasi;
Babu, A. Vinaya;
Trimurthy, P.

Publication type:

Article

Implementing Syntax Evolution of Embedded Systems.

Published in:

International Journal of Electrical & Computer Engineering (2088-8708), 2015, v. 5, n. 6, p. 1525

By:

Jammalamadaka, Sasi Bhanu;
VinayaBabu, A.;
Trimurthy, P.

Publication type:

Article

A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs.

Published in:

Software Testing: Verification & Reliability, 2014, v. 24, n. 8, p. 706, doi. 10.1002/stvr.1520

By:

Hwang, Gwan ‐ Hwan;
Lin, Che ‐ Sheng;
Lee, Teng ‐ Shuo;
Wu ‐ Lee, Chi

Publication type:

Article

Learning Object-Oriented Programming by Creating Games.

Published in:

eLearning & Software for Education, 2019, v. 1, p. 20, doi. 10.12753/2066-026X-19-002

By:

VÉGH, Ladislav;
STOFFOVÁ, Veronika

Publication type:

Article

Automatic Data Interpretation in Accounting Information Systems Based on Ontology.

Published in:

Telkomnika, 2017, v. 15, n. 4, p. 1817, doi. 10.12928/TELKOMNIKA.v15i4.6414

By:

Iswandi, Irvan;
Suwardi, Iping Supriana;
Maulidevi, Nur Ulfa

Publication type:

Article

WHY PYTHON IS A GOOD PROGRAMMING LANGUAGE FOR LEARNING TO PROGRAM.

Published in:

INFOtheca - Journal of Informatics & Librarianship, 2013, v. 14, n. 1, p. 58

By:

Vasiljević, Nebojša

Publication type:

Article

Service Oriented Integration of Distributed Heterogeneous IT Systems in Production Engineering Using Information Standards and Linked Data.

Published in:

Modelling & Simulation in Engineering, 2017, p. 1, doi. 10.1155/2017/9814179

By:

Zadeh, Navid Shariat;
Lindberg, Lars;
El-Khoury, Jad;
Sivard, Gunilla

Publication type:

Article

Model Checking Multi-agent Systems with APTL.

Published in:

Adhoc & Sensor Wireless Networks, 2017, v. 37, n. 1-4, p. 35

By:

HAIYANG WANG;
ZHENHUA DUAN;
CONG TIAN

Publication type:

Article

A CATEGORICAL APPROACH TO SYNTACTIC MONOIDS.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:9)2018

By:

ADAMEK, JIŘÍ;
MILIUS, STEFAN;
URBAT, HENNING

Publication type:

Article

THE LANGUAGE OF STRATIFIED SETS IS CONFLUENT AND STRONGLY NORMALISING.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:12)2018

By:

GABBAY, MURDOCH J.

Publication type:

Article

FAITHFUL (META-)ENCODINGS OF PROGRAMMABLE STRATEGIES INTO TERM REWRITING SYSTEMS.

Published in:

Logical Methods in Computer Science (LMCS), 2017, v. 13, n. 4, p. 1, doi. 10.23638/LMCS-13(4:16)2017

By:

CIRSTEA, HORATIU;
LENGLET, SERGUEÏ;
MOREAU, PIERRE-ETIENNE

Publication type:

Article

A STATIC ANALYSIS FRAMEWORK FOR LIVELOCK FREEDOM IN CSP.

Published in:

Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 3, p. 1, doi. 10.2168/lmcs-9(3:24)2013

By:

OUAKNINE, JOËL;
PALIKAREVA, HRISTINA;
ROSCOE, A. W.;
WORRELL, JAMES

Publication type:

Article

Proactive modeling: a new model intelligence technique.

Published in:

Software & Systems Modeling, 2017, v. 16, n. 2, p. 499, doi. 10.1007/s10270-015-0465-1

By:

Pati, Tanumoy;
Kolli, Sowmya;
Hill, James

Publication type:

Article

Analysing the cognitive effectiveness of the WebML visual notation.

Published in:

Software & Systems Modeling, 2017, v. 16, n. 1, p. 195, doi. 10.1007/s10270-014-0447-8

By:

Granada, David;
Vara, Juan;
Brambilla, Marco;
Bollati, Verónica;
Marcos, Esperanza

Publication type:

Article

VPML: an approach to detect design patterns of MOF-based modeling languages.

Published in:

Software & Systems Modeling, 2015, v. 14, n. 2, p. 735, doi. 10.1007/s10270-013-0325-9

By:

Elaasar, Maged;
Briand, Lionel;
Labiche, Yvan

Publication type:

Article

Embedding domain-specific modelling languages in Maude specifications.

Published in:

Software & Systems Modeling, 2013, v. 12, n. 4, p. 847, doi. 10.1007/s10270-012-0232-5

By:

Rusu, Vlad

Publication type:

Article

Integration of data validation and user interface concerns in a DSL for web applications.

Published in:

Software & Systems Modeling, 2013, v. 12, n. 1, p. 35, doi. 10.1007/s10270-010-0173-9

By:

Groenewegen, Danny;
Visser, Eelco

Publication type:

Article

Genericity for model management operations.

Published in:

Software & Systems Modeling, 2013, v. 12, n. 1, p. 201, doi. 10.1007/s10270-011-0203-2

By:

Rose, Louis;
Guerra, Esther;
Lara, Juan;
Etien, Anne;
Kolovos, Dimitris;
Paige, Richard

Publication type:

Article

Synchronization of abstract and concrete syntax in domain-specific modeling languages.

Published in:

Software & Systems Modeling, 2010, v. 9, n. 4, p. 453, doi. 10.1007/s10270-009-0122-7

By:

Ráth, István;
Ökrös, András;
Varró, Dániel

Publication type:

Article

FliPpr: A System for Deriving Parsers from Pretty-Printers.

Published in:

New Generation Computing, 2018, v. 36, n. 3, p. 173, doi. 10.1007/s00354-018-0033-7

By:

Matsuda, Kazutaka;
Wang, Meng

Publication type:

Article

A high quality compiler tool for application-specific instruction-set processors with library and parallel supports.

Published in:

Multimedia Tools & Applications, 2017, v. 76, n. 4, p. 5905, doi. 10.1007/s11042-015-2653-y

By:

Chen, Benbin;
King, Chung-Ta;
Li, Xiaochao;
Guo, Donghui

Publication type:

Article

Interesting pattern mining in multi-relational data.

Published in:

Data Mining & Knowledge Discovery, 2014, v. 28, n. 3, p. 808, doi. 10.1007/s10618-013-0319-9

By:

Spyropoulou, Eirini;
De Bie, Tijl;
Boley, Mario

Publication type:

Article

Understanding what is important in iStar extension proposals: the viewpoint of researchers.

Published in:

Requirements Engineering, 2019, v. 24, n. 1, p. 55, doi. 10.1007/s00766-018-0302-5

By:

Gonçalves, Enyo;
de Oliveira, Marcos Antônio;
Monteiro, Ingrid;
Castro, Jaelson;
Araújo, João

Publication type:

Article

HAZARD ANALYSIS OF AN AUTONOMOUS CONTAINER HANDLING SYSTEM - A COMPARISON OF STPA AND HAZOP METHODS.

Published in:

Scientific Journal of Gdynia Maritme University, 2023, n. 125, p. 25, doi. 10.26408/125.02

By:

Heikkilä, Eetu;
Malm, Timo;
Sarsama, Janne;
Tiusanen, Risto;
Ahonen, Toni

Publication type:

Article

Estrategias de Enseñanza en el Campo del Diseño Morfológico. Construcción de una lógica relacional subjetiva .

Published in:

Actas de Diseño, 2023, v. 18, n. 43, p. 65

By:

Soledad Abades, Irma

Publication type:

Article

Learners Programming Language a Helping System for Introductory Programming Courses.

Published in:

Mehran University Research Journal of Engineering & Technology, 2016, v. 35, n. 3, p. 347, doi. 10.22581/muet1982.1603.05

By:

NAVEED, MUHAMMAD SHUMAIL;
SARIM, MUHAMMAD;
AHSAN, KAMRAN

Publication type:

Article

A Parallel Algorithm for HEVC Entropy Coding Based on Syntax-level Grouping and Multi-thread Processing.

Published in:

Telecommunication Engineering, 2014, v. 54, n. 10, p. 1435, doi. 10.3969/j.issn.1001-893x.2014.10.022

By:

DI Jin-hong;
ZHANG Ke-xin;
QI Ji;
ZHANG Xin-ming

Publication type:

Article

An overview of fuzzy Description Logics for the Semantic Web.

Published in:

Knowledge Engineering Review, 2013, v. 28, n. 1, p. 1, doi. 10.1017/S0269888912000306

By:

Ma, Z. M.;
Zhang, Fu;
Wang, Hailong;
Yan, Li

Publication type:

Article

From Critique to Computational Thinking: A Peer-Assessment-Supported Problem Identification, Flow Definition, Coding, and Testing Approach for Computer Programming Instruction.

Published in:

Journal of Educational Computing Research, 2022, v. 60, n. 5, p. 1301, doi. 10.1177/07356331211060470

By:

Fang, Jian-Wen;
Shao, Dan;
Hwang, Gwo-Jen;
Chang, Shao-Chen

Publication type:

Article

A Framework for Task-Sensitive Natural Language Augmentation.

Published in:

Northern European Journal of Language Technology, 2023, v. 9, n. 1, p. 1, doi. 10.3384/nejlt.2000-1533.2023.4725

By:

Dhole, Kaustubh D.;
Gangal, Varun;
Gehrmann, Sebastian;
Gupta, Aadesh;
Zhenhao Li;
Mahamood, Saad;
Mahendiran, Abinaya;
Mille, Simon;
Shrivastava, Ashish;
Tan, Samson;
Tongshuang Wu;
Sohl-Dickstein, Jascha;
Choi, Jinho D.;
Hovy, Eduard;
Dusek, Ondrej;
Ruder, Sebastian;
Anand, Sajant;
Aneja, Nagender;
Banjade, Rabin;
Barthe, Lisa

Publication type:

Article

PENSAR EN LÍNEAS, PENSAR EN RELACIONES. EL PARADIGMA DE LA DIFERENCIA INFINITESIMAL.

Published in:

Praxis Filosófica, 2022, n. 55, p. 91, doi. 10.25100/pfilosofica.v0i55.12021

By:

Tonkonoff, Sergio

Publication type:

Article

Fitting Nonlinear Latent Growth Curve Models With Individually Varying Time Points.

Published in:

Structural Equation Modeling, 2014, v. 21, n. 4, p. 630, doi. 10.1080/10705511.2014.919828

By:

Sterba, Sonya K.

Publication type:

Article

Fitting item response unfolding models to Likert-scale data using mirt in R.

Published in:

PLoS ONE, 2018, v. 13, n. 5, p. 1, doi. 10.1371/journal.pone.0196292

By:

Liu, Chen-Wei;
Chalmers, R. Philip

Publication type:

Article

Using Cross-Entropy Value of Code for Better Defect Prediction.

Published in:

International Journal of Performability Engineering, 2018, v. 14, n. 9, p. 2105, doi. 10.23940/ijpe.18.09.p19.21052115

By:

Xian Zhang;
Kerong Ben;
Jie Zeng

Publication type:

Article

Code Syntax-Comparison Algorithm based on Type-Redefinition-Preprocessing and Rehash Classification.

Published in:

Journal of Multimedia, 2011, v. 6, n. 4, p. 320, doi. 10.4304/jmm.6.4.320-328

By:

Baojiang Cui;
Jun Guan;
Tao Guo;
Lifang Han;
Jianxin Wang;
Yupeng Ji

Publication type:

Article

Generic windowing support for extensible stream processing systems.

Published in:

Software: Practice & Experience, 2014, v. 44, n. 9, p. 1105, doi. 10.1002/spe.2194

By:

Gedik, Buğra

Publication type:

Article