Sciweavers

21984 search results - page 120 / 4397
» C
Sort
View
ECEASST
2008
171views more  ECEASST 2008»
15 years 4 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»
15 years 4 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
119
Voted
AC
2002
Springer
15 years 4 months ago
Software Fault Prevention by Language Choice: Why C is Not My Favorite Language
How much does the choice of a programming language influence the prevalence of bugs in the resulting code? It seems obvious that at the level at which individuals write new progra...
Richard J. Fateman
JECR
2002
170views more  JECR 2002»
15 years 3 months ago
B2C Internet Commerce: A Tale of Two Nations
Much of the empirical information on E-Commerce activity is based on the U.S. and other developed nations. This study extends our knowledge by conducting a comparative investigati...
Achita Muthitacharoen, Prashant Palvia
117
Voted
RAS
2010
137views more  RAS 2010»
15 years 2 months ago
Development of complex robotic systems using the behavior-based control architecture iB2C
This paper presents a development methodology for complex robotic systems using the behavior-based control architecture iB2C (integrated Behavior-Based Control). It is shown how a...
Martin Proetzsch, Tobias Luksch, Karsten Berns