2957 search results - page 345 / 592 » Code analysis and CS-XML |
126
click to vote
EDCC
2006
Springer
15 years 8 months ago
2006
Springer
Bad error handling is the cause of many service outages. We address this problem by a novel approach to detect and patch bad error handling automatically. Our approach uses error ...
126
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Nested if-then-else statements is the most common programming schema in applications like data transformation or data analysis. In most cases, these can be replaced by hi...
129
click to vote
NIPS
2001
15 years 5 months ago
2001
The mystery of belief propagation (BP) decoder, especially of the turbo decoding, is studied from information geometrical viewpoint. The loopy belief network (BN) of turbo codes m...
160
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
121
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Regulation of gene expression at the level of transcription is a major control point in many biological processes. Transcription factors (TFs) can activate and/or repr...