Kiselev, E. A.; Kiselev, V. I.; Shabanov, B. M.; Aladyshev, O. S.; Baranov, A. V. The energy efficiency evaluating method determining energy consumption of the parallel program according to its profile. (English) Zbl 07309053 Lobachevskii J. Math. 41, No. 12, 2542-2551 (2020). MSC: 68 65 PDF BibTeX XML Cite \textit{E. A. Kiselev} et al., Lobachevskii J. Math. 41, No. 12, 2542--2551 (2020; Zbl 07309053) Full Text: DOI
Liu, Ming; Liu, Xin; Chu, Feng; Zhu, Maoran; Zheng, Feifeng Liner ship bunkering and sailing speed planning with uncertain demand. (English) Zbl 1449.90041 Comput. Appl. Math. 39, No. 1, Paper No. 22, 23 p. (2020). MSC: 90B06 90C15 90C30 PDF BibTeX XML Cite \textit{M. Liu} et al., Comput. Appl. Math. 39, No. 1, Paper No. 22, 23 p. (2020; Zbl 1449.90041) Full Text: DOI
Lopez-Garcia, P.; Darmawan, L.; Klemen, M.; Liqat, U.; Bueno, F.; Hermenegildo, M. V. Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. (English) Zbl 06877189 Theory Pract. Log. Program. 18, No. 2, 167-223 (2018). MSC: 68N17 PDF BibTeX XML Cite \textit{P. Lopez-Garcia} et al., Theory Pract. Log. Program. 18, No. 2, 167--223 (2018; Zbl 06877189) Full Text: DOI
Barbot, Benoît; Kwiatkowska, Marta; Mereacre, Alexandru; Paoletti, Nicola Building power consumption models from executable timed I/O automata specifications. (English) Zbl 1366.68196 Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 195-204 (2016). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{B. Barbot} et al., in: Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12--14, 2016. New York, NY: Association for Computing Machinery (ACM). 195--204 (2016; Zbl 1366.68196) Full Text: DOI
Zhu, Xue-Yang; Yan, Rongjie; Gu, Yu-Lei; Zhang, Jian; Zhang, Wenhui; Zhang, Guangquan Static optimal scheduling for synchronous data flow graphs with model checking. (English) Zbl 1427.68177 Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 551-569 (2015). MSC: 68Q60 68M20 PDF BibTeX XML Cite \textit{X.-Y. Zhu} et al., Lect. Notes Comput. Sci. 9109, 551--569 (2015; Zbl 1427.68177) Full Text: DOI
Dal Lago, Ugo; Petit, Barbara The geometry of types. (English) Zbl 1301.68184 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 167-178 (2013). MSC: 68Q65 68N18 68N30 68Q25 68Q60 PDF BibTeX XML Cite \textit{U. Dal Lago} and \textit{B. Petit}, in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 167--178 (2013; Zbl 1301.68184) Full Text: DOI
Hervés-Beloso, Carlos; Martínez, Francisco; Rivera, Jorge Walrasian prices in markets with tradable rights. (English) Zbl 1277.91127 Econ. Theory 49, No. 2, 497-512 (2012). MSC: 91B54 91B76 PDF BibTeX XML Cite \textit{C. Hervés-Beloso} et al., Econ. Theory 49, No. 2, 497--512 (2012; Zbl 1277.91127) Full Text: DOI
Gavrilov, A. E.; Zhoga, V. V.; Fedchenkov, P. V. Synthesis of optimal program law for movement of a robot with orthogonal walking drives. (English) Zbl 1266.93103 J. Comput. Syst. Sci. Int. 50, No. 5, 847-857 (2011); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2011, No. 5, 164-173 (2011). MSC: 93C85 93B50 49N90 PDF BibTeX XML Cite \textit{A. E. Gavrilov} et al., J. Comput. Syst. Sci. Int. 50, No. 5, 847--857 (2011; Zbl 1266.93103); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2011, No. 5, 164--173 (2011) Full Text: DOI
Zhurikhin, D. M. Energy-saving compilation for mobile systems. (English. Russian original) Zbl 1251.68076 Program. Comput. Softw. 37, No. 6, 306-314 (2011); translation from Programmirovanie 37, No. 6 (2011). MSC: 68N20 PDF BibTeX XML Full Text: DOI
Gupta, Aparna; Li, Lepeng Integrating long-term care insurance purchase decisions with saving and investment for retirement. (English) Zbl 1141.91515 Insur. Math. Econ. 41, No. 3, 362-381 (2007). MSC: 91B30 90C11 PDF BibTeX XML Cite \textit{A. Gupta} and \textit{L. Li}, Insur. Math. Econ. 41, No. 3, 362--381 (2007; Zbl 1141.91515) Full Text: DOI
Bojadziev, George Optimal control of a resource consumption model. (English) Zbl 0684.90021 Methods Oper. Res. 58, 333-338 (1989). MSC: 91B62 93C95 PDF BibTeX XML Cite \textit{G. Bojadziev}, Methods Oper. Res. 58, 333--338 (1989; Zbl 0684.90021)
Ben-Israel, A.; Flåm, S. D. Input optimization for infinite-horizon discounted programs. (English) Zbl 0644.90097 J. Optimization Theory Appl. 61, No. 3, 347-357 (1989). Reviewer: A.Ben-Israel MSC: 90C39 91B62 PDF BibTeX XML Cite \textit{A. Ben-Israel} and \textit{S. D. Flåm}, J. Optim. Theory Appl. 61, No. 3, 347--357 (1989; Zbl 0644.90097) Full Text: DOI
Zellner, Arnold; Moulton, Brent R. Bayesian regression diagnostics with applications to international consumption and income data. (English) Zbl 0585.62192 J. Econom. 29, 187-211 (1985). MSC: 62P20 PDF BibTeX XML Cite \textit{A. Zellner} and \textit{B. R. Moulton}, J. Econom. 29, 187--211 (1985; Zbl 0585.62192) Full Text: DOI
Majumdar, Mukul; Mitra, Tapan Intertemporal allocation with a non-convex technology: The aggregative framework. (English) Zbl 0503.90020 J. Econ. Theory 27, 101-136 (1982). MSC: 91B62 PDF BibTeX XML Cite \textit{M. Majumdar} and \textit{T. Mitra}, J. Econ. Theory 27, 101--136 (1982; Zbl 0503.90020) Full Text: DOI
Abrams, Robert A.; Karmarkar, Uday S. Optimal multiperiod investment-consumption policies. (English) Zbl 0436.90026 Econometrica 48, 333-353 (1980). MSC: 91B62 PDF BibTeX XML Cite \textit{R. A. Abrams} and \textit{U. S. Karmarkar}, Econometrica 48, 333--353 (1980; Zbl 0436.90026) Full Text: DOI