3708 search results - page 96 / 742 » Programming with C Exceptions |
128
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
124
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: The German cDNA Consortium has been cloning full length cDNAs and continued with their exploitation in protein localization experiments and cellular assays. However, t...
142
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...
136
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
102
click to vote
ISORC
2006
IEEE
15 years 8 months ago
2006
IEEE
The Software Communications Architecture (SCA), which has been adopted as an SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common de...