5831 search results - page 1001 / 1167 » Distributed Dynamic Backtracking |
115
Voted
TSMC
2008
15 years 2 months ago
2008
Multiagent systems are rapidly finding applications in a variety of domains, including robotics, distributed control, telecommunications, and economics. The complexity of many task...
148
Voted
AMAI
2004
Springer
15 years 2 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
119
click to vote
TVLSI
2008
15 years 2 months ago
2008
We present a selective encoding method that reduces test data volume and test application time for scan testing of Intellectual Property (IP) cores. This method encodes the slices ...
135
Voted
MCS
2007
Springer
15 years 2 months ago
2007
Springer
Mesh generation is a critical step in high fidelity computational simulations. High-quality and high-density meshes are required to accurately capture the complex physical phenome...
118
Voted
CCR
2004
15 years 2 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...