Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
programming section » programming reaction, programming session, programming deduction
section functionals » action functionals, selection functional, action functional
function https » functions https, fiction https
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
programming section » programming reaction, programming session, programming deduction
section functionals » action functionals, selection functional, action functional
function https » functions https, fiction https
1
Cyhoeddwyd 2012
Pynciau:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Cael y testun llawn
Electronig
eLyfr
2
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Cael y testun llawn
Electronig
eLyfr
3
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Cael y testun llawn
Electronig
eLyfr
4
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Cael y testun llawn
Electronig
eLyfr
5
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Cael y testun llawn
Electronig
eLyfr
6
Cyhoeddwyd 2008
Tabl Cynhwysion:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Cael y testun llawn
Electronig
eLyfr
7
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Cael y testun llawn
Electronig
eLyfr
8
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Cael y testun llawn
Electronig
eLyfr
9
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”Cael y testun llawn
Electronig
eLyfr
10
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Cael y testun llawn
Electronig
eLyfr
11
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Cael y testun llawn
Electronig
eLyfr
12
Cyhoeddwyd 2012
Tabl Cynhwysion:
“... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”Cael y testun llawn
Electronig
eLyfr
13
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”Cael y testun llawn
Electronig
eLyfr
14
Cyhoeddwyd 2015
Tabl Cynhwysion:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Cael y testun llawn
Electronig
eLyfr
15
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Cael y testun llawn
Electronig
eLyfr
16
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Cael y testun llawn
Electronig
eLyfr
17
Cyhoeddwyd 2011
Tabl Cynhwysion:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”Cael y testun llawn
Electronig
eLyfr
18
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”Cael y testun llawn
Electronig
eLyfr
19
Cyhoeddwyd 2015
Tabl Cynhwysion:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Cael y testun llawn
Electronig
eLyfr
20
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Cael y testun llawn
Electronig
eLyfr