4066 search results - page 242 / 814 » Almost Complete Sets |
147
click to vote
ERLANG
2006
ACM
16 years 17 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
178
click to vote
SI3D
2006
ACM
16 years 16 days ago
2006
ACM
We present an interactive algorithm to compute discretized 3D Euclidean distance fields. Given a set of piecewise linear geometric primitives, our algorithm computes the distance...
153
click to vote
GLVLSI
2005
IEEE
16 years 6 days ago
2005
IEEE
Many techniques have been proposed in the past for the protection of VLSI design IPs (intellectual property). CAD tools and algorithms are intensively used in all phases of modern...
167
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
— Meetings are a very important part of everyday life for professionals working in universities, companies or governmental institutions. We have designed a physical awareness sys...
207
click to vote
ICSM
2005
IEEE
16 years 5 days ago
2005
IEEE
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....