Sciweavers

3256 search results - page 76 / 652
» Mixin-Based Programming in C
Sort
View
SIGSOFT
2005
ACM
16 years 6 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
ICALT
2007
IEEE
16 years 15 days ago
The TenC Competence Observatory: An Enabling Technology for Common Description of Competences
Over the years competence-based approaches in the field of formal and non-formal education are becoming more common and appear to offer the opportunity to develop flexible e-train...
Panayiotis Zervas, Demetrios G. Sampson
IPPS
2006
IEEE
16 years 6 days ago
FPGA implementation of a license plate recognition SoC using automatically generated streaming accelerators
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
Nikolaos Bellas, Sek M. Chai, Malcolm Dwyer, Dan L...
VMCAI
2005
Springer
15 years 11 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
15 years 11 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...