Search Results for Energy systems.

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Yazar

Castor, Fernando. editor.

http://dx.doi.org/10.1007/978-3-319-45279-1

Format:

Electronic Resources

Alıntı:

, Ways of Improvement -- JetsonLeap: a Framework to Measure Energy-Aware Code Optimizations in Embedded

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Egyed, Alexander. editor.

http://dx.doi.org/10.1007/978-3-662-46675-9

Format:

Electronic Resources

Alıntı:

-- Exploring Scenario Exploration -- Data-Oriented Characterization of Application-Level Energy Optimization

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Yazar

de Boer, Frank. editor.

https://doi.org/10.1007/978-3-319-90089-6

Format:

Electronic Resources

Alıntı:

-- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Yazar

Iida, Shusaku. editor.

http://dx.doi.org/10.1007/978-3-642-54624-2

Format:

Electronic Resources

Alıntı:

Observer -- Model Checking TLR* Guarantee Formulas on Infinite Systems -- Towards a Combination of CafeOBJ

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Esparza, Javier. editor.

https://doi.org/10.1007/978-3-662-54458-7

Format:

Electronic Resources

Alıntı:

-- Logics of repeating values on data trees and branching counter systems -- Automata, Logic and Formal

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Yazar

Rovatsos, Michael. editor.

http://dx.doi.org/10.1007/978-3-319-33509-4

Format:

Electronic Resources

Alıntı:

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third

Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

Yazar

Giorgini, Paolo. editor.

https://doi.org/10.1007/978-3-030-21290-2

Format:

Electronic Resources

Alıntı:

Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45231-8

Format:

Electronic Resources

Alıntı:

Systems -- Using Statistical Model Checking for Measuring Systems -- Blocking Advertisements on Android

	{displayName}	{count}
{error}