2962 search results - page 422 / 593 » Reasoning on Association Rules |
154
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
156
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
Modern CMOS manufacturing processes have significant variability, which necessitates guard banding to achieve reasonable yield. It is our thesis that variability should be addres...
152
click to vote
ISPASS
2006
IEEE
16 years 16 days ago
2006
IEEE
— Due to the long simulation times of the reference input sets, microarchitects resort to alternative techniques to speed up cycle-accurate simulations. However, the reduction in...
170
click to vote
WCRE
2006
IEEE
16 years 16 days ago
2006
IEEE
Current literature on the topic of duplicated (cloned) code in software systems often considers duplication harmful to the system quality and the reasons commonly cited for duplic...
175
click to vote
WWW
2006
ACM
16 years 14 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...