19 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
van Eekelen, Marko. editor.
Format:
Electronic Resources
Alıntı:
-- Probabilistic Resource Analysis by Program Transformation -- Inferring Parametric Energy Consumption Functions
Yazar
Bertrand, Nathalie. editor.
Format:
Electronic Resources
Alıntı:
topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and
View Other Search Results
Yazar
Castor, Fernando. editor.
Format:
Electronic Resources
Alıntı:
, Ways of Improvement -- JetsonLeap: a Framework to Measure Energy-Aware Code Optimizations in Embedded
Yazar
Reinecke, Philipp. editor.
Format:
Electronic Resources
Alıntı:
checking; and cyber-physical systems to performance, energy and security.
Yazar
Fantechi, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
cloudification -- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System
Yazar
Fischbach, Kai. editor.
Format:
Electronic Resources
Alıntı:
Quantitative Analysis of Future Generation Energy Networks and Energy-Efficient Systems, FGENET 2014; the
Yazar
Dal Lago, Ugo. editor.
Format:
Electronic Resources
Alıntı:
for Energy Consumption Analysis -- Reasoning About Resources in the Embedded Systems Language Hume
Yazar
Poole, Stephen. editor.
Format:
Electronic Resources
Alıntı:
Many-Core Processors -- Implementing OpenSHMEM Using MPI-3 One-Sided Communication -- Analyzing the Energy
Yazar
Taentzer, Gabriele. editor.
Format:
Electronic Resources
Alıntı:
of Energy-aware WSN Agents in fUML -- Reusable Model Interfaces with Instantiation Cardinalities -- A
Yazar
Ciardo, Gianfranco. editor.
Format:
Electronic Resources
Alıntı:
Propagation Nets -- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Computation vs. Reversibility in Petri Nets -- Programming Languages -- Energy Efficient Language and Compiler
Yazar
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
-- Exploring Scenario Exploration -- Data-Oriented Characterization of Application-Level Energy Optimization
19 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: