2858 search results - page 450 / 572 » Logics with Aggregate Operators |
186
click to vote
PAPM
2001
Springer
15 years 10 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 (...
153
click to vote
DATE
2000
IEEE
15 years 10 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...
153
click to vote
CSL
2000
Springer
15 years 10 months ago
2000
Springer
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...
175
click to vote
ICCD
1999
IEEE
15 years 10 months ago
1999
IEEE
Current trends in DRAM memory chip fabrication have led many researchers to propose \intelligent memory" architectures that integrate microprocessors or logic with memory. Su...
175
click to vote
ICTAI
1997
IEEE
15 years 10 months ago
1997
IEEE
Many black box optimization algorithms have sufcient exibility to allow them to adapt to the varying circumstances they encounter. These capabilities are of two primary sorts: 1) ...