Works matching DE "C (Computer program language)"

Results: 206

One way to build class [C++ language].

Published in:

Electronics Systems & Software, 2006, v. 4, n. 2, p. 16, doi. 10.1049/ess:20060202

By:

Walls, Colin

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

When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C: Extended version.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 5, p. 589, doi. 10.1007/s10009-024-00764-z

By:

Erhard, Julian;
Schwarz, Michael;
Vojdani, Vesal;
Saan, Simmo;
Seidl, Helmut

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

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

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

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

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

qvality: non-parametric estimation of q-values and posterior error probabilities.

Published in:

Bioinformatics, 2009, v. 25, n. 7, p. 964, doi. 10.1093/bioinformatics/btp021

By:

Käll, Lukas;
Storey, John D.;
Noble, William Stafford

Publication type:

Article

STEM: species tree estimation using maximum likelihood for gene trees under coalescence.

Published in:

Bioinformatics, 2009, v. 25, n. 7, p. 971, doi. 10.1093/bioinformatics/btp079

By:

Kubatko, Laura S.;
Carstens, Bryan C.;
Knowles, L. Lacey

Publication type:

Article

Wordom: a program for efficient analysis of molecular dynamics simulations.

Published in:

Bioinformatics, 2007, v. 23, n. 19, p. 2625, doi. 10.1093/bioinformatics/btm378

By:

Michele Seeber;
Marco Cecchini;
Francesco Rao;
Giovanni Settanni;
Amedeo Caflisch

Publication type:

Article

cBrother: relaxing parental tree assumptions for Bayesian recombination detection.

Published in:

Bioinformatics, 2007, v. 23, n. 4, p. 507, doi. 10.1093/bioinformatics/btl613

By:

Fang Fang;
Jing Ding;
Vladimir N. Minin;
Marc A. Suchard;
Karin S. Dorman

Publication type:

Article

A peer-assisted learning experience in computer programming language learning and developing computer programming skills.

Published in:

Innovations in Education & Teaching International, 2016, v. 53, n. 3, p. 329, doi. 10.1080/14703297.2014.993418

By:

Altintas, Tugba;
Gunes, Ali;
Sayan, Hamiyet

Publication type:

Article

Simulation, design abstraction, and SystemC.

Published in:

Computer Science Education, 2007, v. 17, n. 2, p. 87, doi. 10.1080/08993400601165248

By:

Harcourt, Ed

Publication type:

Article

Linkless Octree Using Multi-Level Perfect Hashing.

Published in:

Computer Graphics Forum, 2009, v. 28, n. 7, p. 1773, doi. 10.1111/j.1467-8659.2009.01554.x

By:

Myung Geol Choi;
Eunjung Ju;
Jung-Woo Chang;
Jehee Lee;
Young J. Kim

Publication type:

Article

A Python Module for FITS Files with Full C Level Programming Functionality.

Published in:

Python Papers, 2013, v. 8, n. 3, p. 1

By:

Bond, Ian

Publication type:

Article

Using Python to Program LEGO MINDSTORMS® Robots: The PyNXC Project.

Published in:

Python Papers, 2010, v. 5, n. 2, p. 1

By:

Blais, Brian S.

Publication type:

Article

Migrating C/C++ Software to Mobile Platforms in the ADM Context.

Published in:

International Journal of Interactive Multimedia & Artificial Intelligence, 2017, v. 4, n. 3, p. 34, doi. 10.9781/ijimai.2017.436

By:

Martinez, Liliana;
Pereira, Claudia;
Favre, Liliana

Publication type:

Article

Implementation of a method of numerical integration of average voltages at the integration step for designing microcontroller models of electrotechnical systems.

Published in:

Electrotechnical Review / Elektrotehniski Vestnik, 2018, v. 85, n. 3, p. 115

By:

Kuznyetsov, Oleksiy;
Kuznietsov, Oleksandr;
Semeniuk, Mykola

Publication type:

Article

Mikrodenetleyicili Asansör Denetiminde Seri Haberleşme Kullanan Bir Model in Gerçekleştirilmesi.

Published in:

International Journal of InformaticsTechnologies, 2008, v. 1, n. 1, p. 1

By:

ERDEM, O. Ayhan;
ORMAN, Abdullah

Publication type:

Article

KUTUP DENGELEME PROBLEMİ İCİN YǛKSEK BAşARIMLI BİR OPTİMİZASYON TEKNİĞİ.

Published in:

Pamukkale University Journal of Engineering Sciences, 2008, v. 14, n. 2, p. 175

By:

Karasulu, Bahadir;
Balli, Serkan;
Korukoğlu, Serdar;
Uğur, Aybars

Publication type:

Article

Is C Dead?

Published in:

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

By:

Logan, Wendy

Publication type:

Article

SOLUCIÓN NUMÉRICA PARA LA TRAYECTORIA EN UN PLANETA ROTANTE.

Published in:

Revista Colombiana de Física, 2006, v. 38, n. 1, p. 425

By:

Otálora, D. L.;
Poveda, F. J.

Publication type:

Article

ESTIMACIÓN DE LA MASA DE UNA GALAXIA ESPIRAL: UNA PROPUESTA PARA ESTUDIANTES DE PREGRADO USANDO EL COMPUTADOR.

Published in:

Revista Colombiana de Física, 2006, v. 38, n. 1, p. 189

By:

Villaquirán, Mauricio Mendivelso;
Porras Lugo, Mirta Yuley

Publication type:

Article

Programming Parrot.

Published in:

Perl Review, 2007, v. 4, n. 0, p. 18

By:

Duff, Jonathan Scott

Publication type:

Article

Programming Parrot: Using Objects.

Published in:

2006

By:

Duff, Jonathan Scott

Publication type:

Editorial

Perl Packet Sniffing.

Published in:

Perl Review, 2005, v. 1, n. 2, p. 16

By:

Finkel, Gerry

Publication type:

Article

High-level Synthesis Method Using Semi-programmable Hardware for C Program with Memory Access.

Published in:

Engineering Letters, 2011, v. 19, n. 1, p. 50

By:

Yamawaki, Akira;
Iwane, Masahiko

Publication type:

Article

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

AN ALGORITHM TO COMPUTE PRIMARY DECOMPOSITION OF MONOMIAL IDEALS EQUIGENERATED IN DEGREE 2.

Published in:

AAPP Physical, Mathematical & Natural Sciences / Atti della Accademia Peloritana dei Pericolanti: Classe di Scienze Fisiche, Matematiche e Naturali, 2009, v. 87, n. 2, p. 1, doi. 10.1478/C1A0902004

By:

Rinaldo, Giancarlo

Publication type:

Article

BENCHMARKING PHP MODULES.

Published in:

Informatologia, 2017, v. 50, n. 1/2, p. 95

By:

Šimec, Alen;
Lozić, Davor;
Golubić, Lidija Tepeš

Publication type:

Article

C - Past, present, and future - A perspective.

Published in:

Resonance: Journal of Science Education, 2012, v. 17, n. 8, p. 748, doi. 10.1007/s12045-012-0085-9

By:

Bhaskar, K.

Publication type:

Article

Microstructural Simulations of Polymer Composites by a Viscoelastic Spring Lattice Model.

Published in:

Macromolecular Theory & Simulations, 2024, v. 33, n. 5, p. 1, doi. 10.1002/mats.202400025

By:

Xu, Zhuoran;
Hu, Xu;
Huang, Yongmin

Publication type:

Article

StreamPI: a stream-parallel programming extension for object-oriented programming languages.

Published in:

Journal of Supercomputing, 2012, v. 61, n. 1, p. 118, doi. 10.1007/s11227-011-0656-7

By:

Hong, Jingun;
Hong, Kirak;
Burgstaller, Bernd;
Blieberger, Johann

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

CONDITIONING OF CONVEX PROGRAMS FROM A PRIME-DUAL PERSPECTIVE.

Published in:

Mathematics of Operations Research, 2001, v. 26, n. 2, p. 206, doi. 10.1287/moor.26.2.206.10551

By:

Peña, Javier

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

NINE-PROFILE AND NINE-SEGMENT TEMPERATURE PROGRAMMER FOR MASHING APPARATUS.

Published in:

Instrumentation Science & Technology, 2011, v. 39, n. 1, p. 101, doi. 10.1080/10739149.2010.537716

By:

Devaraju, J.T.;
Thontadharya, H.J.;
Nagaraj, K.

Publication type:

Article

ATmega8535 MICROCONTROLLER BASED BLOOD SODIUM ANALYZER USING ISE DIRECT POTENTIOMETRY.

Published in:

Instrumentation Science & Technology, 2010, v. 38, n. 1, p. 63, doi. 10.1080/10739140903430099

By:

Neelamegam, P.;
Murugananthan, K.;
Raghunathan, R.;
Jamaludeen, A.

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

A Theoretical and Empirical Analysis of the Role of Test Sequence Length in Software Testing for Structural Coverage.

Published in:

IEEE Transactions on Software Engineering, 2012, v. 38, n. 3, p. 497, doi. 10.1109/TSE.2011.44

By:

Arcuri, Andrea

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

Embracing the C preprocessor during refactoring.

Published in:

Journal of Software: Evolution & Process, 2013, v. 25, n. 12, p. 1285, doi. 10.1002/smr.1603

By:

Garrido, Alejandra;
Johnson, Ralph

Publication type:

Article

A simple and efficient binary coding algorithm and `C'...

Published in:

Educational & Psychological Measurement, 1990, v. 50, n. 1, p. 147, doi. 10.1177/0013164490501017

By:

Kunen, Seth;
Richard, Terri

Publication type:

Article

Dynamic specification of open agent systems.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 6, p. 1301, doi. 10.1093/logcom/exr018

By:

Artikis, Alexander

Publication type:

Article