Sciweavers

3404 search results - page 10 / 681
» C Programming Tutorial
Sort
View

Book
385views
16 years 9 months ago
C and C++ Style Guides
"This is an archive of style guides for C and C++ code."
DSD
2006
IEEE
99views Hardware» more  DSD 2006»
15 years 3 months ago
Flexible Bus and NoC Performance Analysis with Configurable Synthetic Workloads
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
Rikard Thid, Ingo Sander, Axel Jantsch
ENTCS
2010
208views more  ENTCS 2010»
14 years 9 months ago
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
Paul Feautrier, Laure Gonnord
FMCO
2005
Springer
143views Formal Methods» more  FMCO 2005»
15 years 5 months ago
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
Dennis Dams, Kedar S. Namjoshi
JSC
2002
51views more  JSC 2002»
14 years 11 months ago
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
Christian Bauer, Alexander Frink, Richard Kreckel