Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Computer communication systems.
Yazar
Castor, Fernando. editor.
Format:
Electronic Resources
Alıntı:
, Ways of Improvement -- JetsonLeap: a Framework to Measure Energy-Aware Code Optimizations in Embedded
View Other Search Results
Yazar
Faber, Wolfgang. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Parisi-Presicce, Francesco. editor.
Format:
Electronic Resources
Alıntı:
and Rule Evolution in Graph Transformation Systems -- Graph Pattern Matching as an Embedded Clojure
Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Integrated Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems
Yazar
Mazzara, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI
Yazar
Bonakdarpour, Borzoo. editor.
Format:
Electronic Resources
Alıntı:
verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
Contracts-Based Framework for Systems Modeling and Embedded Diagnostics -- OpenCert 2014 -- Modelling and
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Arama Sonuçlarını Sınırlandır
Daraltılmış: