Results 131 to 140 of about 12,096 (166)

Introduction to Embedded Systems: Using ANSI C and the Arduino Development Environment

Introduction to Embedded Systems, 2010
David J. Russell
semanticscholar   +1 more source

Context-Bounded Model Checking of LTL Properties for ANSI-C Software

IEEE International Conference on Software Engineering and Formal Methods, 2011
J. Morse, L. Cordeiro, D. Nicole, B. Fischer   +3 more
semanticscholar   +1 more source

Implementation of the memory-safe full ANSI-C compiler

ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2009
Y. Oiwa
semanticscholar   +1 more source

Optimizing matrix multiply using PHiPAC: a portable, high-performance, ANSI C coding methodology

International Conference on Supercomputing, 1997
J. Bilmes, K. Asanović, Chee-Whye Chin, J. Demmel   +3 more
semanticscholar   +1 more source

A code generation interface for ANSI C

Software, Practice & Experience, 1991
C. Fraser, D. R. Hanson
semanticscholar   +1 more source

ADIC: an extensible automatic differentiation tool for ANSI‐C

Software, Practice & Experience, 1997
Christian H. Bischof, Lucas Roh, A. J. Mauer-Oats   +2 more
semanticscholar   +1 more source

A configurable automatic instrumentation tool for ANSI C

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239), 1998
Kevin Templer, C. Jeffery
semanticscholar   +1 more source

GROMACS: Fast, flexible, and free

Journal of Computational Chemistry, 2005
David van der Spoel, Erik R Lindahl, Berk Hess   +2 more
exaly  

Performance enhancement on hybrid composite using multiwall carbon nanotubes for prosthetic sockets

Interactions
T. Sathish
semanticscholar   +1 more source

Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report

International Symposium on Systems Synthesis, 2002
Y. Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, A. Yonezawa   +3 more
semanticscholar   +1 more source