5241 search results - page 838 / 1049 » Embedded Programming with C |
123
click to vote
CORR
2010
Springer
15 years 14 days ago
2010
Springer
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
143
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...
176
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
131
click to vote
CAV
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
201
click to vote
ANCS
2011
ACM
14 years 3 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...