11172 search results - page 1900 / 2235 » Testing Physical Systems |
224
click to vote
TON
2010
15 years 25 days ago
2010
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...
185
Voted
EMSOFT
2011
Springer
14 years 5 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
198
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
272
click to vote
GIS
2004
ACM
16 years 7 months ago
2004
ACM
Modern database applications including computer-aided design, multimedia information systems, medical imaging, molecular biology, or geographical information systems impose new re...
165
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Many reputation management systems have been developed under the assumption that each entity in the system will use a variant of the same scoring function. Much of the previous wo...