Yazar
Weyns, Danny. editor.
Format:
Electronic Resources
Alıntı:
Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.
View Other Search Results
Yazar
Leucker, Martin. editor.
Format:
Electronic Resources
Alıntı:
and formal languages; concurrency; constraints, logic and semantic; software architecture and
Yazar
Bansal, Nikhil. editor.
Format:
Electronic Resources
Alıntı:
and formal languages; concurrency; constraints, logic and semantic; software architecture and
Yazar
Koornneef, Floor. editor.
Format:
Electronic Resources
Alıntı:
embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture
Yazar
de la Puente, Juan Antonio. editor.
Format:
Electronic Resources
Alıntı:
Slicing for Safety-Critical Systems.- A Novel Run-Time Monitoring Architecture for Safe and Efficient
Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
-- Software Architecture Modeling and Evaluation Based on Stochastic -- Applicative Bisimulation and Quantum
Yazar
Lanese, Ivan. editor.
Format:
Electronic Resources
Alıntı:
Component-Oriented Interpolation -- Adaptation and Evolution -- Impact Models for Architecture-Based Self-adaptive
Yazar
Terboven, Christian. editor.
Format:
Electronic Resources
Alıntı:
Processor Architectures.
Yazar
Voronkov, Andrei. editor.
Format:
Electronic Resources
Alıntı:
Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint
Yazar
Träff, Jesper Larsson. editor.
Format:
Electronic Resources
Alıntı:
Scalability of OpenMP Implementations -- Efficient Nested Dissection for Multicore Architectures -- Scheduling
Arama Sonuçlarını Sınırlandır
Daraltılmış: