Bibliography

1

Benchmarks for usage trace collection,
http://www.ee.princeton.edu/$\sim$cad/benchmarks.html.

2

L. Benini, A. Bogliolo, and G. De Micheli, ``A survey of design techniques for system-level dynamic power management,'' IEEE Trans. VLSI Systems, vol. 8, no. 3, pp. 299-316, June 2000.

3

S. K. Card, T. P. Moran, and A. Newell, The Psychology of Human-Computer Interaction, Lawrence Erlbaum Assoc., Hillsdale, NJ, 1983.

4

R. P. Carver, Reading Rate: A Review of Research and Theory, Academic Press, Inc., San Diego, CA, 1990.

5

I. Choi, H. Shim, and N. Chang, ``Low-power color TFT LCD display for handheld embedded systems,'' in Proc. Int. Symp. Low Power Electronics & Design, Aug. 2002, pp. 112-117.

6

P. M. Fitts, ``The information capacity of human motor system in controlling the amplitude of movement,'' J. Experimental Psychology, no. 47, pp. 381-391, 1954.

7

K. Flautner, S. Reinhardt, and T. Mudge, ``Automatic performance setting for dynamic voltage scaling,'' in Proc. Ann. Int. Conf. Mobile Computing and Networking, July 2001, pp. 260-271.

8

F. Gatti, A. Acquaviva, L. Benini, and B. Ricco, ``Low power control techniques for TFT LCD displays,'' in Proc. Int. Conf. Compilers, Architecture, and Synthesis for Embedded Systems, Oct. 2002, pp. 218-224.

9

D. Grunwald, P. Levis, K. I. Farkas, C. B. Morrey III, and M. Neufeld, ``Policies for dynamic clock scheduling,'' in Proc. Symp. Operating Systems Design & Implementation, Oct. 2000, pp. 73-86.

10

H. R. Hartson, A. C. Siochi, and D. Hix, ``The UAN: A user-oriented representation for direct manipulation interface designs,'' ACM Trans. Information Systems, vol. 8, no. 3, pp. 181-203, July 1990.

11

W. E. Hick, ``On the rate of gain of information,'' Quarterly J. Experimental Psychology, no. 4, pp. 11-36, 1952.

12

A. J. Hornof and D. E. Kieras, ``Cognitive modeling reveals menu search is both random and systematic,'' in Proc. Conf. Human Factors in Computing Systems, 1997, pp. 107-114.

13

R. Hyman, ``Stimulus information as a determinant of reaction time,'' J. Experimental Psychology, no. 45, pp. 188-196, 1953.

14

Intel StrongARM SA-1110 Microprocessor Developer's Manual, http://www.intel.com/design/strong/manuals/278240.htm.

15

N. K. Jha, ``Low power system scheduling and synthesis,'' in Proc. Int. Conf. Computer-Aided Design, Nov. 2001, pp. 259-263.

16

J. R. Lorch and A. J. Smith, ``Improving dynamic voltage scaling algorithms with PACE,'' in Proc. ACM SIGMETRICS, June 2001, pp. 50-61.

17

I. S. MacKenzie, Toward a Multidisciplinary Science of Human-Computer Interaction, Morgan Kaufmann, San Francisco, CA, 2003, ch. II. Motor Behavior Models for Human-Computer Interaction, pp. 27-54.

18

I. S. MacKenzie and W. Buxton, ``Extending Fitts' law to two-dimensional tasks,'' in Proc. Conf. Human Factors in Computing Systems, 1992, pp. 219-226.

19

T. Murata, ``Petri nets - Properties, analysis, and applications,'' Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.

20

K. L. Norman, The Psychology of Menu Selection: Designing Cognitive Control at the Human/Computer Interface, Alex Publishing Corporation, Norwood, NJ, 1991.

21

T. Pering, T. Burd, and R. Brodersen, ``The simulation and evaluation of dynamic voltage scaling algorithms,'' in Proc. Int. Symp. Low Power Electronics & Design, Aug. 1998, pp. 76-81.

22

J. Pouwelse, K. Langendoen, and H. Sips, ``Energy priority scheduling for variable voltage processors,'' in Proc. Int. Symp. Low Power Electronics & Design, Aug. 2001, pp. 28-33.

23

Qtopia, http://www.trolltech.com/products/qtopia/.

24

R. W. Soukoreff and I. S. MacKenzie, ``Theoretical upper and lower bounds on typing speed using a stylus and soft keyboard,'' Behaviour & Information Technology, no. 14, pp. 370-379, 1995.

25

T. Simunic, L. Benini, and G. De Micheli, ``Event-driven power management of portable systems,'' in Proc. Int. Symp. System Synthesis, Nov. 1999, pp. 18-23.

26

M. A. Viredaz and D. A. Wallach, ``Power evaluation of a handheld computer,'' IEEE Micro, vol. 23, no. 1, pp. 66-74, Jan./Feb. 2003.

27

A. Wasserman, ``Extending state transition diagrams for the specification of human-computer interaction,'' IEEE Trans. Software Engineering, vol. 11, no. 8, pp. 699-713, Aug. 1985.

28

L. Zhong and N. K. Jha, ``Graphical user interface energy characterization for handheld computers,'' in Proc. Int. Conf. Compilers, Architecture, and Synthesis for Embedded Systems, Nov. 2003.