Sciweavers

3404 search results - page 34 / 681
» C Programming Tutorial
Sort
View
ECEASST
2008
171views more  ECEASST 2008»
14 years 9 months ago
Type Checking C++ Template Instantiation by Graph Programs
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
Karl Azab, Karl-Heinz Pennemann
ENTCS
2007
182views more  ENTCS 2007»
14 years 9 months ago
Automated Fault Localization for C Programs
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
Andreas Griesmayer, Stefan Staber, Roderick Bloem
MICRO
2007
IEEE
164views Hardware» more  MICRO 2007»
15 years 3 months ago
A Practical Approach to Exploiting Coarse-Grained Pipeline Parallelism in C Programs
The emergence of multicore processors has heightened the need for effective parallel programming practices. In addition to writing new parallel programs, the next generation of pr...
William Thies, Vikram Chandrasekhar, Saman P. Amar...
VLDB
1990
ACM
100views Database» more  VLDB 1990»
15 years 1 months ago
The C-based Database Programming Language Jasmine/C
Jasmine/C is a C-based database proqramninq language that allows the handling of persistent objects in Jasmine databases. The language is used to write methods for objects and app...
Masaaki Aoshima, Yoshio Izumida, Akifumi Makinouch...
ASE
2004
127views more  ASE 2004»
14 years 9 months ago
Precise Call Graphs for C Programs with Function Pointers
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...
Ana Milanova, Atanas Rountev, Barbara G. Ryder