3639 search results - page 452 / 728 » Experiments on IPv6 Testing |
107
click to vote
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—The IP Multimedia Subsystem (IMS) is being deployed in the Third Generation (3G) networks since it supports many kinds of multimedia services. However, the security of I...
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we present the results of parallelizing two life sciences applications, Markov random fieldsbased (MRF) liver segmentation and HMMER’s Viterbi algorithm, using GP...
116
click to vote
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Fire brigades and special agencies are often demanded to operate for search and aid of human lives in extremely dangerous scenarios. It is very important to first veri...
105
click to vote
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Salamanders propel themselves by proper coordination of limb movements and body undulations. This type of locomotion is interesting for robotics to design robots capabl...