5159 search results - page 985 / 1032 » Structural Testing of Executables |
151
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
Previous research has shown a relationship between use of social networking sites and feelings of social capital. However, most studies have relied on self-reports by college stud...
206
click to vote
WEA
2010
Springer
15 years 12 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
133
click to vote
CVPR
2009
IEEE
15 years 12 months ago
2009
IEEE
A guidewire is a medical device inserted into vessels during image guided interventions for balloon inflation. During interventions, the guidewire undergoes non-rigid deformation...
159
click to vote
ECBS
2009
IEEE
15 years 12 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
171
click to vote
MSWIM
2009
ACM
15 years 12 months ago
2009
ACM
Host Identity Protocol (HIP) decouples IP addresses from higher layer Internet applications by proposing a new, cryptographic namespace for host identities. HIP has great potentia...