Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
functionality challenges » functioning challenges, rationality challenges, functional changes
programs functionality » program functionality, programs functional, properties functionality
functional programs » functional programming, educational programs, functional properties
challenges https » challenges how, challenges after, challenges cases
functionality challenges » functioning challenges, rationality challenges, functional changes
programs functionality » program functionality, programs functional, properties functionality
functional programs » functional programming, educational programs, functional properties
challenges https » challenges how, challenges after, challenges cases
1
Publié 2012
Table des matières:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Accéder au texte intégral
Électronique
eBook
2
Publié 2010
Table des matières:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Accéder au texte intégral
Électronique
eBook
3
Publié 2005
Table des matières:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Accéder au texte intégral
Électronique
eBook
4
Publié 2008
Table des matières:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Accéder au texte intégral
Électronique
eBook
5
Publié 2006
Table des matières:
“...Design Challenges in Multiprocessor Systems-on-Chip -- Some Issues in Model-Based Development...”Accéder au texte intégral
Électronique
eBook
6
Publié 2015
Table des matières:
“... Programming -- Big Data, Big Systems, Big Challenges: A Personal Experience -- An Automatic Technique...”Accéder au texte intégral
Électronique
eBook
7
Publié 2008
Table des matières:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Accéder au texte intégral
Électronique
eBook
8
Publié 2010
Table des matières:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Accéder au texte intégral
Électronique
eBook
9
Publié 2014
Table des matières:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Accéder au texte intégral
Électronique
eBook
10
Publié 2008
Table des matières:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”Accéder au texte intégral
Électronique
eBook
11
Publié 2008
Table des matières:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Accéder au texte intégral
Électronique
eBook
12
Publié 2010
Table des matières:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Accéder au texte intégral
Électronique
eBook
13
Publié 2008
Table des matières:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”Accéder au texte intégral
Électronique
eBook
14
Publié 2013
Table des matières:
“...Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical...”Accéder au texte intégral
Électronique
eBook
15
Publié 2010
Table des matières:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”Accéder au texte intégral
Électronique
eBook
16
Publié 2011
Table des matières:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”Accéder au texte intégral
Électronique
eBook
17
Publié 2005
Table des matières:
“...? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive...”Accéder au texte intégral
Électronique
eBook
18
Publié 2015
Table des matières:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”Accéder au texte intégral
Électronique
eBook
19
Publié 2005
Table des matières:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Accéder au texte intégral
Électronique
eBook
20
Publié 2006
Table des matières:
“...Keynotes -- Algorithmic Challenges in Web Search Engines -- RNA Molecules: Glimpses Through...”Accéder au texte intégral
Électronique
eBook