2227 search results - page 443 / 446 » Reversibility and Models for Concurrency |
SIAMCOMP
2010
13 years 8 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
TSE
2010
13 years 8 months ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
GLOBECOM
2010
IEEE
13 years 7 months ago
2010
IEEE
In current peer-to-peer file sharing networks, a large number of peers with heterogeneous connections simultaneously seek to download resources, e.g., files or file fragments, from...
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
Peta-scale scientific applications running on High End Computing (HEC) platforms can generate large volumes of data. For high performance storage and in order to be useful to scien...
RV
2010
Springer
13 years 7 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...