Sciweavers

3256 search results - page 76 / 652
» Mixin-Based Programming in C
Sort
View
113
Voted
SIGSOFT
2005
ACM
16 years 3 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
84
Voted
ICALT
2007
IEEE
15 years 9 months 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
146
Voted
IPPS
2006
IEEE
15 years 8 months 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...
118
Voted
VMCAI
2005
Springer
15 years 8 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
122
Voted
IWPC
2003
IEEE
15 years 7 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...