6111 search results - page 869 / 1223 » Time, Hardware, and Uniformity |
181
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
212
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
208
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
160
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
New consumer appliances such as PDA, Set Top Box, GSM/UMTS terminals enable an easy access to the internet and strongly contribute to the development of ecommerce and m-commerce s...
216
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
For successful SoC design, efficient and scalable communication architecture is crucial. Some bus interconnects now provide configurable structures to meet this requirement of an ...