Sciweavers

12334 search results - page 67 / 2467
» The Use of C
Sort
View
VMCAI
2005
Springer
14 years 4 months ago
Cryptographic Protocol Analysis on Real C Code
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
Jean Goubault-Larrecq, Fabrice Parrennes
IWPC
2003
IEEE
14 years 4 months ago
An XML-Based Lightweight C++ Fact Extractor
A lightweight fact extractor is presented that utilizes XML tools, such as XPath and XSLT, to extract static information from C++ source code programs. The source code is first co...
Michael L. Collard, Huzefa H. Kagdi, Jonathan I. M...
FCCM
2002
IEEE
174views VLSI» more  FCCM 2002»
14 years 4 months ago
PAM-Blox II: Design and Evaluation of C++ Module Generation for Computing with FPGAs
This paper explores the implications of integrating flexible module generation into a compiler for FPGAs. The objective is to improve the programmabilityof FPGAs, or in other wor...
Oskar Mencer
ENTCS
2007
79views more  ENTCS 2007»
13 years 11 months ago
Fault Detection in Multi-Threaded C++ Server Applications
Due to increasing demands in processing power on the one hand, but the physical limit on CPU clock speed on the other hand, multi-threaded programming is becoming more important i...
Arndt Mühlenfeld, Franz Wotawa
SAC
2008
ACM
13 years 10 months ago
Runtime concepts for the C++ standard template library
A key benefit of generic programming is its support for producing modules with clean separation. In particular, generic algorithms are written to work with a wide variety of unmod...
Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne...