5159 search results - page 861 / 1032 » Structural Testing of Executables |
163
click to vote
ISCAS
2006
IEEE
16 years 27 days ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
186
click to vote
SIBGRAPI
2006
IEEE
16 years 26 days ago
2006
IEEE
In this work we propose a method for the polygonization of octree-based reconstructions by dual contouring. Dual contouring is an adaptive method for determining contiguous polygo...
241
click to vote
WETICE
2006
IEEE
16 years 26 days ago
2006
IEEE
Peer-to-Peer architecture is currently an attractive solution for facilitating the use of collaboration software without any server. Multicasting is usually proposed for group com...
174
click to vote
ACMICEC
2006
ACM
16 years 25 days ago
2006
ACM
Researchers have not studied e-commerce distrust as much as ecommerce trust. This study examines whether trust and distrust are distinct concepts. If trust and distrust are the sa...
179
click to vote
ACMSE
2006
ACM
16 years 25 days ago
2006
ACM
We propose an efficient and novel approach for discovering communities in real-world random networks. Communities are formed by subsets of nodes in a graph, which are closely rela...