4814 search results - page 593 / 963 » Combining abstract interpreters |
236
click to vote
MCSS
2009
Springer
16 years 8 days ago
2009
Springer
Abstract Braided convolutional codes (BCCs) form a class of iteratively decodable convolutional codes that are constructed from component convolutional codes. In braided code divis...
212
Voted
TACAS
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
181
Voted
CHARME
2001
Springer
16 years 6 days ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
205
Voted
CONCUR
2001
Springer
16 years 6 days ago
2001
Springer
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
183
click to vote
CP
2001
Springer
16 years 6 days ago
2001
Springer
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...