Sciweavers

3404 search results - page 46 / 681
» C Programming Tutorial
Sort
View
SIGADA
1999
Springer
15 years 1 months ago
Interfacing low-level C device drivers with Ada 95
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying “off-the-self” items to meet their ...
Steven Doran
POPL
2012
ACM
13 years 5 months ago
An executable formal semantics of C with applications
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
Chucky Ellison, Grigore Rosu
WM
2003
14 years 11 months ago
Case-Based Reuse of Software Examplets
: We present a software tool for examplet reuse. We define examplets to be goal-directed snippets of source code, often written for tutorial purposes, that show how to use program...
Markus Grabert, Derek G. Bridge
PADL
2004
Springer
15 years 3 months ago
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
José F. Morales, Manuel Carro, Manuel V. He...
VLSID
2008
IEEE
191views VLSI» more  VLSID 2008»
15 years 4 months ago
Programming and Performance Modelling of Automotive ECU Networks
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
Samarjit Chakraborty, Sethu Ramesh