Works matching C (Computer program language)

Results: 218

Development and Teaching Application of Interactive Virtual Algorithm Animation of C Language Program.

Published in:

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

By:

Wan, Lei;
Cao, Yongli;
Shi, Lili;
An, Ying

Publication type:

Article

Agente conversacional como herramienta de apoyo en el aprendizaje del lenguaje C.

Published in:

Revista CienciaUAT, 2024, v. 19, n. 1, p. 124, doi. 10.29059/cienciauat.v19i1.1879

By:

Vázquez-Aragón, Ma. Rosario;
Zavaleta-Carrillo, Patricia;
Barradas-Arenas, Ulises;
del Jesús Hernández-Marín, Gloria

Publication type:

Article

FINITE-TIME NONLINEAR SPEED CONTROLLER OF PERMANENT MAGNET SYNCHRONOUS MOTOR USING C MEX S-FUNCTION.

Published in:

EUREKA: Physics & Engineering, 2025, n. 4, p. 89, doi. 10.21303/2461-4262.2025.003706

By:

Varin Cholahan;
Kritsana Rattanakun;
Worapong Tangsrirat

Publication type:

Article

Efficient Decoding of Systematic (23, 12, 7) and (41, 21, 9) Quadratic Residue Codes.

Published in:

Journal of Information Science & Engineering, 2010, v. 26, n. 5, p. 1831

By:

YAN-HAW CHEN;
CHIH-HUA CHIEN;
CHIEN-HSIANG HUANG;
TRIEU-KIEN TRUONG;
MING-HAW JING

Publication type:

Article

A class library for implementing, testing, and debugging concurrent programs.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 1, p. 69, doi. 10.1007/s10009-009-0102-9

By:

Carver, Richard;
Lei, Yu

Publication type:

Article

An automated testing experiment for layered embedded C code.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 3, p. 175, doi. 10.1007/s10009-009-0108-3

By:

Chetali, Boutheina;
Quang-Huy Nguyen

Publication type:

Article

Model checking C source code for embedded systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 3, p. 187, doi. 10.1007/s10009-009-0106-5

By:

Schlich, Bastian;
Kowalewski, Stefan

Publication type:

Article

Guest Editor’s introduction.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 3, p. 173, doi. 10.1007/s10009-009-0114-5

By:

Hinchey, Mike;
Margaria, Tiziana;
Steffen, Bernhard

Publication type:

Article

Boolean and Cartesian abstraction for model checking C programs.

Published in:

International Journal on Software Tools for Technology Transfer, 2003, v. 5, n. 1, p. 49, doi. 10.1007/s10009-002-0095-0

By:

Ball, Thomas;
Podelski, Andreas;
Rajamani, Sriram K.

Publication type:

Article

orthAgogue: an agile tool for the rapid prediction of orthology relations.

Published in:

Bioinformatics, 2014, v. 30, n. 5, p. 734, doi. 10.1093/bioinformatics/btt582

By:

Ekseth, Ole Kristian;
Kuiper, Martin;
Mironov, Vladimir

Publication type:

Article

PEAR: a fast and accurate Illumina Paired-End reAd mergeR.

Published in:

Bioinformatics, 2014, v. 30, n. 5, p. 614, doi. 10.1093/bioinformatics/btt593

By:

Zhang, Jiajie;
Kobert, Kassian;
Flouri, Tomáš;
Stamatakis, Alexandros

Publication type:

Article

slaMEM: efficient retrieval of maximal exact matches using a sampled LCP array.

Published in:

Bioinformatics, 2014, v. 30, n. 4, p. 464, doi. 10.1093/bioinformatics/btt706

By:

Fernandes, Francisco;
Freitas, Ana T.

Publication type:

Article

LibSBMLSim: a reference implementation of fully functional SBML simulator.

Published in:

Bioinformatics, 2013, v. 29, n. 11, p. 1474, doi. 10.1093/bioinformatics/btt157

By:

Takizawa, Hiromu;
Nakamura, Kazushige;
Tabira, Akito;
Chikahara, Yoichi;
Matsui, Tatsuhiro;
Hiroi, Noriko;
Funahashi, Akira

Publication type:

Article

Heart-Mind Harmony: Predicting Stress from Heart Rate.

Published in:

Grenze International Journal of Engineering & Technology (GIJET), 2024, v. 10, n. 2,Part 4, p. 4181

By:

S., Aravind M.;
Prakath, Sri Bhavan;
R., Tarunika;
Srividya, M.;
Marimuthu, M.;
Gayathri Devi, S.

Publication type:

Article

BEYOND BIOS: EXPLORING THE MANY DIMENSIONS OF THE UNIFIED EXTENSIBLE FIRMWARE INTERFACE.

Published in:

Intel Technology Journal, 2011, v. 15, n. 1, p. 8

By:

Doran, Mark;
Zimmer, Vincent J.;
Rothman, Michael A.

Publication type:

Article

Enhanced Parallel FDTD Method Using SSE Instruction Sets.

Published in:

Applied Computational Electromagnetics Society Journal, 2012, v. 27, n. 1, p. 1, doi. 10.13052/aces/2156-3306.2711

By:

Lihong Zhang;
Xiaoling Yang;
Wenhua Yu

Publication type:

Article

Fuzzy linguistic logic programming and its applications.

Published in:

Theory & Practice of Logic Programming, 2009, v. 9, n. 3, p. 309, doi. 10.1017/S1471068409003779

By:

VAN HUNG LE;
FEI LIU;
TRAN, DINH KHANG

Publication type:

Article

Embedded C programming: a practical course introducing programmable microprocessors.

Published in:

European Journal of Engineering Education, 2012, v. 37, n. 6, p. 557, doi. 10.1080/03043797.2012.725711

By:

Laverty, DavidM.;
Milliken, Jonny;
Milford, Matthew;
Cregan, Michael

Publication type:

Article

c-Myc binds to human ribosomal DNA and stimulates transcription of rRNA genes by RNA polymerase I.

Published in:

Nature Cell Biology, 2005, v. 7, n. 3, p. 311, doi. 10.1038/ncb1224

By:

Grandori, Carla;
Gomez-Roman, Natividad;
Felton-Edkins, Zoe A.;
Ngouenet, Celine;
Galloway, Denise A.;
Eisenman, Robert N.;
White, Robert J.

Publication type:

Article

Bounded model checking of C++ programs based on the Qt cross-platform framework.

Published in:

Software Testing: Verification & Reliability, 2017, v. 27, n. 3, p. n/a, doi. 10.1002/stvr.1632

By:

Monteiro, Felipe R.;
Garcia, Mário A. P.;
Cordeiro, Lucas C.;
Lima Filho, Eddie B.

Publication type:

Article

A SIMPLE GRAPHICAL FRAMEWORK FOR THE ACQUISITION OF BASIC C PROGRAMMING SKILLS.

Published in:

eLearning & Software for Education, 2012, n. 2, p. 287, doi. 10.5682/2066-026X-12-138

By:

MIHIC, Srdan;
IVETIC, Dragan

Publication type:

Article

Transforming C Applications with Meta-Programming.

Published in:

International Journal for Computers & Their Applications, 2016, v. 23, n. 1, p. 57

By:

Songqing Yue;
Gray, Jeff

Publication type:

Article

AN ANALYSIS OF THE WORST-CASE PERFORMANCE OF QUICKSORT.

Published in:

InSight: Rivier Academic Journal, 2011, v. 7, n. 1, p. 1

By:

Marceau, Robert R.

Publication type:

Article

SOLVING THE PRODUCER-CONSUMER PROBLEM USING CΩ.

Published in:

Annals of the University of Oradea, Economic Science Series, 2008, v. 17, n. 4, p. 1303

By:

Eugen, Boriga Radu

Publication type:

Article

Non-Isothermal Decomposition Kinetics of Alkaline Earth Metal Carbonates.

Published in:

Journal of the American Ceramic Society, 2007, v. 90, n. 4, p. 1299, doi. 10.1111/j.1551-2916.2007.01607.x

By:

Maitra, S.;
Bandyopadhyay, N.;
Das, S.;
Pal, A. J.;
Pramanik, J.

Publication type:

Article

Is C Dead?

Published in:

EE: Evaluation Engineering, 2008, v. 47, n. 5, p. 44

By:

Logan, Wendy

Publication type:

Article

On the Autoreducibility of Functions.

Published in:

Theory of Computing Systems, 2010, v. 46, n. 2, p. 222, doi. 10.1007/s00224-008-9127-9

By:

Faliszewski, Piotr;
Ogihara, Mitsunori

Publication type:

Article

POET: a scripting language for applying parameterized source-to-source program transformations.

Published in:

Software: Practice & Experience, 2012, v. 42, n. 6, p. 675, doi. 10.1002/spe.1089

By:

Yi, Qing

Publication type:

Article

Fast and effective soft links.

Published in:

Software: Practice & Experience, 2013, v. 43, n. 5, p. 577, doi. 10.1002/spe.2122

By:

Akinyemi, John A.;
Clarke, Charles L. A.

Publication type:

Article

MemSafe: ensuring the spatial and temporal memory safety of C at runtime MemSafe: ensuring the spatial and temporal memory safety of C at runtime.

Published in:

Software: Practice & Experience, 2013, v. 43, n. 1, p. 93, doi. 10.1002/spe.2105

By:

Simpson, Matthew S.;
Barua, Rajeev K.

Publication type:

Article

A study of irreducibility in C programs.

Published in:

Software: Practice & Experience, 2012, v. 42, n. 1, p. 117, doi. 10.1002/spe.1059

By:

Stanier, James;
Watson, Des

Publication type:

Article

Integrated implementation of dynamic untyped object-based operator overloading.

Published in:

Software: Practice & Experience, 2011, v. 41, n. 11, p. 1155, doi. 10.1002/spe.1025

By:

Savidis, Anthony

Publication type:

Article

OPTIMALLY BALANCING LARGE ASSEMBLY LINES: UPDATING JOHNSON'S 1988 FABLE ALGORITHM.

Published in:

INFOR, 2006, v. 44, n. 1, p. 23, doi. 10.1080/03155986.2006.11732738

By:

Miltenburg, John

Publication type:

Article

A framework for generating tunable test functions for multimodal optimization.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2011, v. 15, n. 9, p. 1689, doi. 10.1007/s00500-010-0611-1

By:

Rönkkönen, Jani;
Xiaodong Li;
Kyrki, Ville;
Lampinen, Jouni

Publication type:

Article

Auxetics and Other Materials and Models with "Negative" Characteristics - Report on the Conference in 2024.

Published in:

Computational Methods in Science & Technology, 2024, v. 30, n. 3/4, p. 69, doi. 10.12921/cmst.2024.0000024

By:

Narojczyk, J. W.

Publication type:

Article

SV DPI技术在FPGA仿真验证的应用探讨.

Published in:

Computer Measurement & Control, 2018, v. 26, n. 6, p. 264, doi. 10.16526/j.cnki.11-4762/tp.2018.06.067

By:

祝周荣;
关俊强;
李前进;
赵超;
刘芳汝

Publication type:

Article

Nitrification modeling in chloraminated distribution systems.

Published in:

Journal: American Water Works Association, 2005, v. 97, n. 10, p. 98, doi. 10.1002/j.1551-8833.2005.tb07499.x

By:

Suibing Liu;
Taylor, James S.;
Randall, A. A.;
Dietz, John D.

Publication type:

Article

Efficient Block Designs for Dependent Observations - A Computer-Aided Search.

Published in:

Communications in Statistics: Theory & Methods, 2007, v. 36, n. 6, p. 1187, doi. 10.1080/03610920601076925

By:

Satpati, SubrataKumar;
Parsad, Rajender;
Gupta, V. K.

Publication type:

Article

C in CS1: Snags and Viable Solution.

Published in:

Mehran University Research Journal of Engineering & Technology, 2018, v. 37, n. 1, p. 1, doi. 10.22581/muet1982.1801.01

By:

NAVEED, SHUMAIL;
SARIM, MUHAMMAD;
NADEEM, ADNAN

Publication type:

Article

JAVA NOTES FOR CS1 TEACHERS SWITCHING FROM C++.

Published in:

Mathematics & Computer Education, 2002, v. 36, n. 2, p. 139

By:

Courtney, Mary F.;
Stix, Allen

Publication type:

Article

APPROXIMATION OF A LOADED BEAM USING C++.

Published in:

Mathematics & Computer Education, 2001, v. 35, n. 3, p. 237

By:

Kerley, Lyndell M.

Publication type:

Article

Generating Antivirus Evasive Executables Using Code Mutation.

Published in:

Informatica Economica, 2018, v. 22, n. 2, p. 81, doi. 10.12948/issn14531305/22.2.2018.08

By:

NICULA, Stefan Sabin

Publication type:

Article

A Study of Applying Fault-based Genetic-Like Programming Approaches to Automatic Software Fault Corrections.

Published in:

International Journal of Performability Engineering, 2018, v. 14, n. 9, p. 2090, doi. 10.23940/ijpe.18.09.p18.20902104

By:

Chia-Hao Lee;
Chin-Yu Huang;
Tzu-Yang Lin

Publication type:

Article

SafeType: detecting type violations for type-basedalias analysis of C.

Published in:

Software: Practice & Experience, 2016, v. 46, n. 11, p. 1571, doi. 10.1002/spe.2388

By:

Ireland, Iain;
Amaral, José Nelson;
Silvera, Raúl;
Cui, Shimin

Publication type:

Article

An analysis of programming language statement frequency in C, C++, and Java source code.

Published in:

Software: Practice & Experience, 2015, v. 45, n. 11, p. 1479, doi. 10.1002/spe.2298

By:

Zhu, Xiaoyan;
Whitehead, E. James;
Sadowski, Caitlin;
Song, Qinbao

Publication type:

Article

Efficient compilation strategy for object-oriented languages under the closed-world assumption.

Published in:

Software: Practice & Experience, 2014, v. 44, n. 5, p. 565, doi. 10.1002/spe.2174

By:

Sonntag, Benoît;
Colnet, Dominique

Publication type:

Article

A comparison of common programming languages used in bioinformatics.

Published in:

BMC Bioinformatics, 2008, v. 9, p. 1, doi. 10.1186/1471-2105-9-82

By:

Fourment, Mathieu;
Gillings, Michael R.

Publication type:

Article

Incremental genetic K-means algorithm and its application in gene expression data analysis.

Published in:

BMC Bioinformatics, 2004, v. 5, p. 172, doi. 10.1186/1471-2105-5-172

By:

Yi Lu;
Shiyong Lu;
Fotouhi, Farshad;
Youping Deng;
Brown, Susan J.

Publication type:

Article

Moving technical computing applications into distributed computing environments.

Published in:

Computing & Control Engineering, 2005, v. 16, n. 6, p. 32, doi. 10.1049/cce:20050607

By:

Grad-Freilich, S.

Publication type:

Article

A parallel algorithm to compute chemical organizations in biological networks.

Published in:

Bioinformatics, 2010, v. 26, n. 14, p. 1788, doi. 10.1093/bioinformatics/btq263

By:

Centler, Florian;
Kaleta, Christoph;
Fenizio, Pietro Speroni di;
Dittrich, Peter

Publication type:

Article