Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
functionals function » function function, functions functional, function dysfunction
programs functionals » programs functional, programming functionals, program functionality
debugging programs » designing programs, emerging programs
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
programs functionals » programs functional, programming functionals, program functionality
debugging programs » designing programs, emerging programs
function https » functions https, fiction https
1
Pubblicazione 2008
Sommario:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Testo
Elettronico
eBook
2
Sommario:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Testo
Testo
Elettronico
eBook
3
Pubblicazione 2007
Sommario:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Testo
Elettronico
eBook
4
Pubblicazione 2010
Sommario:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Testo
Elettronico
eBook
5
Pubblicazione 2008
Sommario:
“... and Heterogeneous Clusters -- Verification of Message Passing Programs -- Visual Debugging of MPI Applications...”Testo
Elettronico
eBook
6
Sommario:
“... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Technical Topics...”
Testo
Testo
Elettronico
eBook
7
Sommario:
“... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...”
Testo
Testo
Elettronico
eBook
8
Sommario:
“... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...”
Testo
Testo
Elettronico
eBook
9
Pubblicazione 2010
Sommario:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Testo
Elettronico
eBook
10
Pubblicazione 2013
Sommario:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”Testo
Elettronico
eBook
11
di Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Pubblicazione 2010
Sommario:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Pubblicazione 2010
Testo
Elettronico
eBook
12
Pubblicazione 2010
Sommario:
“...Doctoral Symposium -- The Doctoral Symposium at MODELS 2009 -- Catch Me If You Can – Debugging...”Testo
Elettronico
eBook
13
Pubblicazione 2008
Sommario:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Testo
Elettronico
eBook
14
Pubblicazione 2010
Sommario:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Testo
Elettronico
eBook
15
Soggetti:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testo
Testo
Elettronico
eBook
16
Pubblicazione 2005
Sommario:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”Testo
Elettronico
eBook
17
Sommario:
“... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Testo
Testo
Elettronico
eBook
18
Pubblicazione 2008
Sommario:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”Testo
Elettronico
eBook
19
Pubblicazione 2015
Sommario:
“... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”Testo
Elettronico
eBook
20
Pubblicazione 2006
Sommario:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”Testo
Elettronico
eBook
- 1
- 2
- Successivo »
- [2]