Commit fc352ee3e475dbd301d6100f69e15d4b0ea3d99a
1 parent
81d73ff8
Shepherd TODOs.
Showing
4 changed files
with
23 additions
and
1 deletions
certainty.tex
| @@ -12,6 +12,8 @@ variety of different adaptation patterns. | @@ -12,6 +12,8 @@ variety of different adaptation patterns. | ||
| 12 | 12 | ||
| 13 | \subsection{Evaluating Alternatives} | 13 | \subsection{Evaluating Alternatives} |
| 14 | 14 | ||
| 15 | +% 24 Dec 2014 : GWA : TODO : Trim. | ||
| 16 | + | ||
| 15 | The optional \texttt{evaluate} block of a \texttt{maybe} statement allows | 17 | The optional \texttt{evaluate} block of a \texttt{maybe} statement allows |
| 16 | programmers to provide app-specific \textit{a posteriori} evaluation logic. | 18 | programmers to provide app-specific \textit{a posteriori} evaluation logic. |
| 17 | However, in many cases, we expect that \texttt{maybe} statements will be used | 19 | However, in many cases, we expect that \texttt{maybe} statements will be used |
discussion.tex
introduction.tex
| @@ -105,7 +105,7 @@ approaches to runtime adaptation, possibly by making the same | @@ -105,7 +105,7 @@ approaches to runtime adaptation, possibly by making the same | ||
| 105 | energy-performance or energy-accuracy tradeoffs described previously. | 105 | energy-performance or energy-accuracy tradeoffs described previously. |
| 106 | Figure~\ref{fig-example-maybe} shows how our earlier example can be easily | 106 | Figure~\ref{fig-example-maybe} shows how our earlier example can be easily |
| 107 | rewritten to use a \texttt{maybe} statement. However, unlike the previous | 107 | rewritten to use a \texttt{maybe} statement. However, unlike the previous |
| 108 | -example \texttt{maybe} does rely on the developer to implement a decision | 108 | +example \texttt{maybe} does not rely on the developer to implement a decision |
| 109 | process or correctly anticipate the effects of each alternative. Instead, the | 109 | process or correctly anticipate the effects of each alternative. Instead, the |
| 110 | \texttt{maybe} system makes runtime choices about which alternative to use by | 110 | \texttt{maybe} system makes runtime choices about which alternative to use by |
| 111 | measuring the tradeoffs produced by each alternative and (in this case) | 111 | measuring the tradeoffs produced by each alternative and (in this case) |
references.bib
| @@ -2,6 +2,24 @@ | @@ -2,6 +2,24 @@ | ||
| 2 | @string{sosp = "SOSP"} | 2 | @string{sosp = "SOSP"} |
| 3 | @string{osdi = "OSDI"} | 3 | @string{osdi = "OSDI"} |
| 4 | 4 | ||
| 5 | +@inproceedings{foraging-mobisys07, | ||
| 6 | + title={Simplifying cyber foraging for mobile devices}, | ||
| 7 | + author={Balan, Rajesh Krishna and Gergle, Darren and Satyanarayanan, Mahadev and Herbsleb, James}, | ||
| 8 | + booktitle={Proceedings of the 5th international conference on Mobile systems, applications and services}, | ||
| 9 | + pages={272--285}, | ||
| 10 | + year={2007}, | ||
| 11 | + organization={ACM} | ||
| 12 | +} | ||
| 13 | + | ||
| 14 | +@inproceedings{tactics-mobisys03, | ||
| 15 | + title={Tactics-based remote execution for mobile computing}, | ||
| 16 | + author={Balan, Rajesh Krishna and Satyanarayanan, Mahadev and Park, So Young and Okoshi, Tadashi}, | ||
| 17 | + booktitle={Proceedings of the 1st international conference on Mobile systems, applications and services}, | ||
| 18 | + pages={273--286}, | ||
| 19 | + year={2003}, | ||
| 20 | + organization={ACM} | ||
| 21 | +} | ||
| 22 | + | ||
| 5 | @article{badrinath2000conceptual, | 23 | @article{badrinath2000conceptual, |
| 6 | title={A conceptual framework for network and client adaptation}, | 24 | title={A conceptual framework for network and client adaptation}, |
| 7 | author={Badrinath, B and Fox, Armando and Kleinrock, Leonard and Popek, Gerald and Reiher, Peter and Satyanarayanan, Mahadev}, | 25 | author={Badrinath, B and Fox, Armando and Kleinrock, Leonard and Popek, Gerald and Reiher, Peter and Satyanarayanan, Mahadev}, |