Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionality transactions » functionality interactions, functionality evaluation
code functionality » cova functionality, more functionality, scale functionality
transactions https » translation https, transactions html5, transactions types
parallel program » parallel programs, parallel problem, parallel programming
program code » program model, program models, program c
functionality transactions » functionality interactions, functionality evaluation
code functionality » cova functionality, more functionality, scale functionality
transactions https » translation https, transactions html5, transactions types
parallel program » parallel programs, parallel problem, parallel programming
program code » program model, program models, program c
1
Publicat 2006
Taula de continguts:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Obtenir text complet
Electrònic
eBook
2
Publicat 2012
Taula de continguts:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Obtenir text complet
Electrònic
eBook
3
Publicat 2011
Taula de continguts:
“... Transactional Memory -- A Parallelizing Compiler Cooperative Heterogeneous Multicore Processor Architecture -- A...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obtenir text complet
Electrònic
eBook
5
Publicat 2005
Taula de continguts:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Obtenir text complet
Electrònic
eBook
6
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obtenir text complet
Electrònic
eBook
7
per Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Publicat 2011
Matèries:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Publicat 2011
Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... Parallel HPC Code for the Incompressible Nonstationary Navier-Stokes Equations -- Flow Induced Noise...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”Obtenir text complet
Electrònic
eBook
10
Taula de continguts:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Obtenir text complet
Electrònic
eBook
12
Publicat 2007
Taula de continguts:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Obtenir text complet
Electrònic
eBook
13
Publicat 2014
Taula de continguts:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”Obtenir text complet
Electrònic
eBook
16
Publicat 2008
Taula de continguts:
“... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”Obtenir text complet
Electrònic
eBook
20
Publicat 2014
Taula de continguts:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”Obtenir text complet
Electrònic
eBook