854 search results - page 27 / 171 » Addressing Dynamic Issues of Program Model Checking |
115
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Low-Density Parity-Check (LDPC) codes are usually decoded by running an iterative belief-propagation, or message-passing, algorithm over the factor graph of the code. The tradi...
194
click to vote
SIGSOFT
2010
ACM
15 years 18 hour ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
136
Voted
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
117
click to vote
GI
2004
Springer
15 years 7 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
124
click to vote
POLICY
2007
Springer
15 years 8 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...