Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel lives » parallel loops, parallel linq, parallel universe
function https » functions https, fiction https
lives program » live programs, prices program, loss program
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel lives » parallel loops, parallel linq, parallel universe
function https » functions https, fiction https
lives program » live programs, prices program, loss program
1
Argitaratua 2005
Aurkibidea:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2006
Aurkibidea:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2008
Aurkibidea:
“... Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic...”Testu osoa
Baliabide elektronikoa
eBook
5
Aurkibidea:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
6
Aurkibidea:
“... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
7
nork Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Argitaratua 2011
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Argitaratua 2011
Testu osoa
Baliabide elektronikoa
eBook
8
Aurkibidea:
“... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
9
Aurkibidea:
“... -- Modularisation -- Automata and Machines -- Concurrency and Temporality -- Petri Nets -- Message and Live Sequence...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2005
Aurkibidea:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2013
Aurkibidea:
“... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2014
Aurkibidea:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2010
Aurkibidea:
“... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2014
Aurkibidea:
“... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2014
Gaiak:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2005
Aurkibidea:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2007
Aurkibidea:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2005
Aurkibidea:
“... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- Hurrengoa »
- [2]