3107 search results - page 576 / 622 » Error-Correcting Source Code |
ICST
2011
IEEE
12 years 11 months ago
2011
IEEE
—Changing source code in large software systems is complex and requires a good understanding of dependencies between software components. Modification to components with little ...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
ASPLOS
2012
ACM
12 years 3 months ago
2012
ACM
To accomplish frequent, simple tasks with high efficiency, it is necessary to leverage low-power, microcontroller-like processors that are increasingly available on mobile systems...
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
BMCBI
2011
13 years 2 months ago
2011
Background: OmniLog™ phenotype microarrays (PMs) have the capability to measure and compare the growth responses of biological samples upon exposure to hundreds of growth condit...