Sciweavers

21984 search results - page 50 / 4397
» C
Sort
View
JUCS
2007
117views more  JUCS 2007»
13 years 9 months ago
C APIs in Extension and Extensible Languages
Scripting languages are used in conjuction with C code in two ways: as extension languages, where the interpreter is embedded as a library into an application; or as extensible lan...
Hisham Muhammad, Roberto Ierusalimschy
ACTAC
2002
99views more  ACTAC 2002»
13 years 9 months ago
Recognizing Design Patterns in C++ Programs with the Integration of Columbus and Maisa
A method for recognizing design patterns from C++ programs is presented. The method consists of two separate phases, analysis and reverse engineering of the C++ code, and architec...
Rudolf Ferenc, Juha Gustafsson, Lászl&oacut...
SIGPLAN
1998
13 years 9 months ago
Optimizing Away C++ Exception Handling
A high performance implementation of C++ exception handling is crucial, because exception handling overhead is distributed across all code. The commonly-used table-driven approach...
Jonathan L. Schilling
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
13 years 8 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
DAC
2009
ACM
14 years 11 months ago
NoC topology synthesis for supporting shutdown of voltage islands in SoCs
In many Systems on Chips (SoCs), the cores are clustered in to voltage islands. When cores in an island are unused, the entire island can be shutdown to reduce the leakage power c...
Ciprian Seiculescu, Srinivasan Murali, Luca Benini...