1541 search results - page 250 / 309 » Tools and Techniques for Model Checking Networked Programs |
119
click to vote
TACAS
2012
Springer
13 years 8 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
95
Voted
ICCD
2004
IEEE
15 years 9 months ago
2004
IEEE
— We propose an automatic test pattern generation (ATPG) framework for combinational threshold networks. The motivation behind this work lies in the fact that many emerging nanot...
90
Voted
ANSS
2005
IEEE
15 years 6 months ago
2005
IEEE
The Internet is a large, complex, heterogeneous system operating at very high speeds and consisting of a large number of users. Researchers use a suite of tools and techniques in ...
101
Voted
IJACTAICIT
2010
14 years 9 months ago
2010
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...
104
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
With the scaling of technology and higher requirements on performance and functionality, power dissipation is becoming one of the major design considerations in the development of...