1
Argitaratua 2007
Aurkibidea: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2005
Aurkibidea: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2008
Aurkibidea: ... Microcontrollers in Safety-Critical Automotive Applications -- Timing Validation of Automotive Software -- Model...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2008
Aurkibidea: ... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2010
Aurkibidea: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Testu osoa
Baliabide elektronikoa eBook
8
Gaiak: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2008
Aurkibidea: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Testu osoa
Baliabide elektronikoa eBook
10
Aurkibidea: ...Global optimization -- The Motivation for Differential Evolution -- Critical values for the control...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2005
Aurkibidea: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2012
Aurkibidea: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2010
Aurkibidea: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2005
Aurkibidea: ... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2013
Aurkibidea: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2010
Aurkibidea: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2005
Aurkibidea: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2006
Aurkibidea: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2013
Aurkibidea: ... -- Power Monitoring for Mixed-Criticality on a Many-Core Platform -- On Confident Task-Accurate Performance...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2010
Aurkibidea: ... Optimization of Graph Partitioning and Critical Node Detection in Analyzing Networks -- An Efficient Algorithm...
Testu osoa
Baliabide elektronikoa eBook