2501 search results - page 386 / 501 » Logics with Rank Operators |
130
Voted
ISMVL
2002
IEEE
15 years 9 months ago
2002
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-value...
159
click to vote
LCPC
2009
Springer
15 years 9 months ago
2009
Springer
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...
152
click to vote
SARA
2009
Springer
15 years 9 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
157
click to vote
PAPM
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
135
Voted
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
Very low bit error rate has become an important constraint in high performance communication systems that operate at very low signal to noise ratios: due to their impressive codin...