{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:52:42Z","timestamp":1761580362510},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1007\/s11241-005-2744-3","type":"journal-article","created":{"date-parts":[[2005,12,24]],"date-time":"2005-12-24T06:52:50Z","timestamp":1135407170000},"page":"33-63","source":"Crossref","is-referenced-by-count":47,"title":["Feedback EDF Scheduling of Real-Time Tasks Exploiting Dynamic Voltage Scaling"],"prefix":"10.1007","volume":"31","author":[{"given":"Yifan","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Mueller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2744_CR1","doi-asserted-by":"crossref","unstructured":"Arnold, R., Mueller, F., Whalley, D. B., and Harmon, M. 1994. Bounding worst-case instruction cache performance. In IEEE Real-Time Systems Symposium, pp. 172\u2013181.","DOI":"10.1109\/REAL.1994.342718"},{"key":"2744_CR2","unstructured":"Aydin, H., Melhem, R., Mosse, D., and Mejia-Alvarez, P. 2001. Dynamic and agressive scheduling techniques for power-aware real-time systems. In IEEE Real-Time Systems Symposium."},{"key":"2744_CR3","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1109\/4.126534","volume":"27","author":"A. Chandrakasan","year":"1992","unstructured":"Chandrakasan, A., Sheng, S., and Brodersen, R. W. 1992. Low-power Cmos digital design. In IEEE Journal of Solid-State Circuits, 27: pp. 473\u2013484.","journal-title":"IEEE Journal of Solid-State Circuits"},{"issue":"10","key":"2744_CR4","doi-asserted-by":"crossref","first-page":"1261","DOI":"10.1109\/TSE.1989.559777","volume":"15","author":"H. Chetto","year":"1989","unstructured":"Chetto, H. and Chetto, M. 1989. Some Results of the Earliest Deadline Scheduling Algorithm. IEEE Transactions on Software Engineering 15(10): 1261\u20131269.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2744_CR5","unstructured":"D. Shin, J. K. and Lee, S. 2001. Intra-Task Voltage Scheduling for Low-Energy Hard Real-Time Applications. In IEEE Design and Test of Computers."},{"key":"2744_CR6","doi-asserted-by":"crossref","unstructured":"Dudani, A., Mueller, F., and Zhu, Y. 2002. Energy-Conserving Feedback EDF Scheduling for Embedded Systems with Real-Time Constraints. In ACM SIGPLAN Joint Conference Languages, Compilers, and Tools for Embedded Systems (LCTES'02) and Software and Compilers for Embedded Systems (SCOPES'02), pp. 213\u2013222.","DOI":"10.1145\/513829.513865"},{"key":"2744_CR7","unstructured":"Ferdinand, C., Martin, F., and Wilhelm, R. 1997. Applying Compiler Techiniques to Cache Behavior Prediction. In ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, pp. 37\u201346."},{"key":"2744_CR8","doi-asserted-by":"crossref","unstructured":"Govil, K., Chan, E., and Wasserman, H. 1995. Comparing algorithms for dynamic speed-setting of a low-power CPU. In 1st Int'l Conference on Mobile Computing and Networking.","DOI":"10.1145\/215530.215546"},{"key":"2744_CR9","doi-asserted-by":"crossref","unstructured":"Gruian, F. 2001. Hard real-time scheduling for low energy using stochastic data and DVS processors. In Proceedings of the International Symposium on Low-Power Electronics and Design ISLPED'01.","DOI":"10.1145\/383082.383092"},{"key":"2744_CR10","doi-asserted-by":"crossref","unstructured":"Gruian, F. and Kuchcinski. 2001. LEneS: Task scheduling for low-energy systems using variable voltage processors. In Proceedings of ASP-DAC.","DOI":"10.1145\/370155.370511"},{"key":"2744_CR11","unstructured":"Grunwald, D., Levis, P., C. M. III, Neufeld, M., and Farkas, K. 2000. Policies for dynamic clock scheduling. In Symp. on Operating Systems Design and Implementation."},{"key":"2744_CR12","doi-asserted-by":"crossref","unstructured":"Harmon, M., Baker, T. P., and Whalley, D. B. 1992. A Retargetable Technique for Predicting Execution Time. In IEEE Real-Time Systems Symposium, pp. 68\u201377.","DOI":"10.1109\/REAL.1992.242675"},{"key":"2744_CR13","doi-asserted-by":"crossref","unstructured":"Healy, C. A., Whalley, D. B., and Harmon, M. G. 1995. Integrating the Timing Analysis of Pipelining and Instruction Caching. In IEEE Real-Time Systems Symposium, pp. 288\u2013297.","DOI":"10.1109\/REAL.1995.495218"},{"key":"2744_CR14","doi-asserted-by":"crossref","unstructured":"Hong, I., Potkonjak, M., and Srivastava, M. 1998a. On-line scheduling of hard real-time tasks on variable voltage processor. In Int'l Conference on Computer-Aided Design.","DOI":"10.1145\/288548.289105"},{"key":"2744_CR15","unstructured":"Hong, I., Qu, G., Potkonjak, M., and Srivastava, M. 1998b. Synthesis techniques for low-power hard real-time systems on variable voltage processors. In 19th Real-Time Systems Symposium."},{"key":"2744_CR16","doi-asserted-by":"crossref","unstructured":"Ishihara, T. and Yasuura, H. 1998. Voltage scheduling problem for dynamically variable voltage processors. In Proceedings of the 1998 International Symposium on Low Power Electronics and Design, pp. 197\u2013202, ACM Press.","DOI":"10.1145\/280756.280894"},{"key":"2744_CR17","unstructured":"Kang, D., Crago, S., and Suh, J. 2002. A Fast Resource Synthesis Technique for Energy-Efficient Real-time Systems. In IEEE Real-Time Systems Symposium."},{"key":"2744_CR18","doi-asserted-by":"crossref","unstructured":"Krishna, C. and Lee, Y. 2000. Voltage clock scaling adaptive scheduling techniques for low power in hard real-time systems. In 6th Real-Time Technology and Applications Symposium.","DOI":"10.1109\/RTTAS.2000.852460"},{"key":"2744_CR19","unstructured":"Lee, Y. and Krishna, C. 1999. Voltage clock scaling for low energy consumption in real-time embedded systems. In 6th Int'l Conf. on Real-Time Computing Systems and Applications."},{"issue":"3","key":"2744_CR20","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1023\/A:1022864617640","volume":"24","author":"Y.-H. Lee","year":"2003","unstructured":"Lee, Y.-H. and Krishna, C. M. 2003. Voltage-Clock Scaling for Low Energy Consumption in Fixed-Priority Real-Time Systems. Real-Time Syst. 24(3): 303\u2013317.","journal-title":"Real-Time Syst."},{"key":"2744_CR21","doi-asserted-by":"crossref","unstructured":"Li, Y.-T. S., Malik, S., and Wolfe, A. 1995. Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software. In IEEE Real-Time Systems Symposium, pp. 298\u2013397.","DOI":"10.1109\/REAL.1995.495219"},{"key":"2744_CR22","doi-asserted-by":"crossref","unstructured":"Li, Y.-T. S., Malik, S., and Wolfe, A. 1996. Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches. In IEEE Real-Time Systems Symposium, pp. 254\u2013263.","DOI":"10.1109\/REAL.1996.563722"},{"key":"2744_CR23","unstructured":"Lim, S.-S., Bae, Y. H., Jang, G. T., Rhee, B.-D., Min, S. L., Park, C. Y., Shin, H., and Kim, C. S. 1994. An Accurate Worst Case Timing Analysis for RISC processors. In IEEE Real-Time Systems Symposium, pp. 97\u2013108."},{"issue":"1","key":"2744_CR24","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. Liu","year":"1973","unstructured":"Liu, C. and Layland, J. 1973. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. J. of the Association for Computing Machinery 20(1): 46\u201361.","journal-title":"J. of the Association for Computing Machinery"},{"key":"2744_CR25","unstructured":"Liu, Y. and Mok, A. K. 2003. An integrated approach for applying dynamic voltage scaling to hard real-time systems. In Proceedings of the ninth IEEE Real-Time and Embedded Technology and Applications Symposium."},{"key":"2744_CR26","doi-asserted-by":"crossref","unstructured":"Lorch, J. and Smith, A. J. 2001. Improving dynamic voltage scaling algorithms with PACE. In Proceedings of the ACM SIGMETRICS 2001 Conference.","DOI":"10.1145\/378420.378429"},{"key":"2744_CR27","doi-asserted-by":"crossref","unstructured":"Lu, C., Stankovic, J., Tao, G., and Son, S. 1999. Design and evaluation of a feedback control EDF scheduling algorithm. In IEEE Real-Time Systems Symposium.","DOI":"10.1109\/REAL.1999.818828"},{"key":"2744_CR28","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1023\/A:1015398403337","volume":"23","author":"C. Lu","year":"2002a","unstructured":"Lu, C., Stankovic, J. A., Tao, G., and Son, S. H. 2002a. Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms. Real-Time Syst. 23: 85\u2013126.","journal-title":"Real-Time Syst."},{"key":"2744_CR29","doi-asserted-by":"crossref","unstructured":"Lu, Z., Hein, J., Humphrey, M., Stan, M., Lach, J., and Skadron, K. 2002b. Control-Theoretic Dynamic Frequency and Voltage Scaling for Multimedia Workloads. In Conference on Compilers, Architecture and Synthesis for Embedded Systems, pp. 156\u201363.","DOI":"10.1145\/581630.581654"},{"issue":"10","key":"2744_CR30","doi-asserted-by":"crossref","first-page":"1461","DOI":"10.1016\/0967-0661(96)00157-8","volume":"4","author":"M. M\u00e4chtel","year":"1996","unstructured":"M\u00e4chtel, M. and Rzehak, H. 1996. Measuring the Influence if Real-Time Operating Systems on Performance and Determinism. Control Eng. Practice 4(10): 1461\u20131469.","journal-title":"Control Eng. Practice"},{"key":"2744_CR31","unstructured":"Minerick, R., Freeh, V. W., and Kogge, P. M. 2002. Dynamic Power Management using Feedback. In Proceedings of Workshop on Compilers and Operating Systems for Low Power."},{"key":"2744_CR32","unstructured":"Mosse, D., Aydin, H., Childers, B., and Melhem, R. 2000. Compiler-assisted dynamic power-aware scheduling for real-time applications. In Workshop on Compilers and Operating Systems for Low Power."},{"issue":"2\/3","key":"2744_CR33","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1023\/A:1008145215849","volume":"18","author":"F. Mueller","year":"2000","unstructured":"Mueller, F. 2000. Timing Analysis for instruction caches. Real-Time Systems 18(2\/3): 209\u2013239.","journal-title":"Real-Time Systems"},{"issue":"1","key":"2744_CR34","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF01088696","volume":"5","author":"C. Y. Park","year":"1993","unstructured":"Park, C. Y. 1993. Predicting program execution times by analyzing static and dynamic program paths. Real-Time Systems 5(1): 31\u201361.","journal-title":"Real-Time Systems"},{"key":"2744_CR35","unstructured":"Pering, T., Burd, T., and Brodersen, R. 1995. The simulation of dynamic voltage scaling algorithms. In Symp. on Low Power Electronics."},{"key":"2744_CR36","doi-asserted-by":"crossref","unstructured":"Pillai, P. and Shin, K. 2001. Real-time dynamic voltage scaling for low-power embedded operating systems. In Symposium on Operating Systems Principles.","DOI":"10.1145\/502034.502044"},{"key":"2744_CR37","doi-asserted-by":"crossref","unstructured":"Pouwelse, J., Langendoen, K., and Sips, H. 2000. Dynamic voltage scaling on a low-power microprocessor. Technical report, Delft University of Technology.","DOI":"10.1145\/381677.381701"},{"issue":"2","key":"2744_CR38","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"Puschner, P. and Koza, C. 1989. Calculating the maximum execution time of real-time programs. Real-Time Systems 1(2): 159\u2013176.","journal-title":"Real-Time Systems"},{"key":"2744_CR39","doi-asserted-by":"crossref","unstructured":"Saewong, S. and Rajkumar, R. 2003. Practical voltage-scaling for fixed-priority RT-systems. In Proceedings of the ninth IEEE Real-Time and Embedded Technology and Applications Symposium.","DOI":"10.1109\/RTTAS.2003.1203042"},{"key":"2744_CR40","unstructured":"Shin, Y., Choi, K., and Sakurai, T. 2000. Power optimization of real-time embedded systems on variable speed processors. In Int'l Conf. on Computer-Aided Design."},{"issue":"3","key":"2744_CR41","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1011132221066","volume":"21","author":"J. Wegener","year":"2001","unstructured":"Wegener, J. and Mueller, F. 2001. A comparison of static analysis and evolutionary testing for the verification of timing constraints. Real-Time Systems 21(3): 241\u2013268.","journal-title":"Real-Time Systems"},{"key":"2744_CR42","unstructured":"Weiser, M., Welch, B., Demers, A., and Shenker, S. 1994. Scheduling for reduced cpu energy. In 1st Symp. on Operating Systems Design and Implementation."},{"key":"2744_CR43","unstructured":"Zhang, F. and Chanson, S. T. 2002. Processor voltage scheduling for real-time tasks with non-preemptable sections. In IEEE Real-Time Systems Symposium."},{"issue":"4","key":"2744_CR44","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF01088834","volume":"5","author":"N. Zhang","year":"1993","unstructured":"Zhang, N., Burns, A., and Nicholson, M. 1993. Pipelined processors and worst case execution times. Real-Time Systems 5(4): 319\u2013343.","journal-title":"Real-Time Systems"},{"key":"2744_CR45","unstructured":"Zhu, Y. and Mueller, F. 2002. Preemption handling and scalability of feedback DVS-EDF. In Workshop on Compilers and Operating Systems for Low Power."},{"key":"2744_CR46","unstructured":"Zhu, Y. and Mueller, F. 2004a. Feedback EDF scheduling exploiting dynamic voltage scaling. In IEEE Real-Time Embedded Technology and Applications Symposium, pp. 84\u201393."},{"key":"2744_CR47","doi-asserted-by":"crossref","unstructured":"Zhu, Y. and Mueller, F. 2004b. Feedback EDF Scheduling Exploiting Hardware-Assisted Asynchronous Dynamic Voltage Scaling. Technical Report TR 2004-35, Dept. of Computer Science, North Carolina State University.","DOI":"10.1145\/1065910.1065939"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-005-2744-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-005-2744-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-005-2744-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T00:38:24Z","timestamp":1683333504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-005-2744-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":47,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["2744"],"URL":"https:\/\/doi.org\/10.1007\/s11241-005-2744-3","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}