1
Argitaratua 2006
Aurkibidea: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2013
Aurkibidea: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2005
Aurkibidea: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2015
Aurkibidea: ... Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2006
Aurkibidea: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2008
Aurkibidea: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2010
Aurkibidea: ...-Based Cryptosystems -- On Selecting Additional Predictive Models in Double Bagging Type Ensemble Method...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2013
Aurkibidea: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2013
Aurkibidea: ... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2008
Aurkibidea: ... in the Java Language -- Web-Based Statistical Graphics using XML Technologies -- Selected Applications...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2010
Aurkibidea: ... in Distributed Systems -- Contributions in Mineral Floatation Modeling and Simulation -- Selecting the Optimal...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2013
Aurkibidea: ... Phenomenon Applied to a Self-adaptive Resources Selection Model -- Partial Imitation Hinders Emergence...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2014
Aurkibidea: ... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2007
Aurkibidea: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2008
Aurkibidea: ...Query Processing Over The Grid: The Role Of Workflow Management -- From Orc Models To Distributed...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2005
Aurkibidea: ... -- Parallel Implementation of a VQ-Based Text-Independent Speaker Identification -- A Distributed Model...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2013
Aurkibidea: ... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2008
Aurkibidea: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2013
Aurkibidea: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
Testu osoa
Baliabide elektronikoa eBook