14244 search results - page 369 / 2849 » Modeling Program Predictability |
156
click to vote
CCGRID
2010
IEEE
15 years 5 months ago
2010
IEEE
The MPI programming model hides network type and topology from developers, but also allows them to seamlessly distribute a computational job across multiple cores in both an intra ...
196
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
121
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— The problem of safe locomotion of legged and wheeled robots, when trying to avoid falling, tipping over or hitting obstacles, appears to be a problem of viability and not of Ly...
121
click to vote
ICNSC
2007
IEEE
15 years 10 months ago
2007
IEEE
– Unmanned ground vehicles are widely used in industries where repetitive tasks or high risk missions are required. Such vehicles usually operate on soft deformable terrains and ...
128
click to vote
BIBE
2005
IEEE
15 years 9 months ago
2005
IEEE
Human Papilloma Virus (HPV) is a sexually transmitted virus, which can lead to cervical cancer. HPV DNA is found in cervical cancers with types 16, 18, 31 and 45 accounting for mo...