5015 search results - page 317 / 1003 » Model Checking a Path |
247
click to vote
ICOIN
2012
Springer
14 years 2 months ago
2012
Springer
— Multipath TCP (MPTCP) has just been approved by the IETF. It was designed to be fairly shared with regular TCP, so its performance is equivalent that of a regular TCP flow tha...
176
click to vote
KBSE
2008
IEEE
16 years 29 days ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
228
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
222
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
We present a new Monte Carlo method for solving the light transport problem, inspired by the Metropolis sampling method in computational physics. To render an image, we generate a...
192
click to vote
JCO
2006
15 years 6 months ago
2006
Reliability is a very important issue in Mobile Ad hoc NETworks (MANETs). Shortest paths are usually used to route packets in MANETs. However, a shortest path may fail quickly, bec...