4120 search results - page 618 / 824 » Exploring ocean data |
128
Voted
ICST
2009
IEEE
15 years 10 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...
137
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Vulnerability discovery rates need to be taken into account for evaluating security risks. Accurate projection of these rates is required to estimate the effort needed to develop ...
127
Voted
IPPS
2009
IEEE
2009
IEEE
Scaling communication-intensive applications on BlueGene/P using one-sided communication and overlap
15 years 10 months ago
In earlier work, we showed that the one-sided communication model found in PGAS languages (such as UPC) offers significant advantages in communication efficiency by decoupling d...
137
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
We consider the following basic question: a source node wishes to stream an ordered sequence of packets to a collection of receivers, which are distributed among a number of clust...
134
Voted
IROS
2009
IEEE
15 years 10 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...