Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
program functioning » program functionality, programs functional, project functioning
functioning working » function working, functions working, functioning unlocking
parallel code » parallel model, parallel 3d
working https » work https, banking https, nursing https
code program » coe program, core program, cone program
program functioning » program functionality, programs functional, project functioning
functioning working » function working, functions working, functioning unlocking
parallel code » parallel model, parallel 3d
working https » work https, banking https, nursing https
code program » coe program, core program, cone program
1
Udgivet 2013
Indholdsfortegnelse:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Få fuldtekst
Electronisk
eBog
3
Indholdsfortegnelse:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
4
Udgivet 2006
Indholdsfortegnelse:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2012
Indholdsfortegnelse:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2008
Indholdsfortegnelse:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2005
Indholdsfortegnelse:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2005
Indholdsfortegnelse:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2006
Indholdsfortegnelse:
“... of Error-Correcting Codes -- ID-Based Series-Parallel Multisignature Schemes for Multi-Messages from...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2006
Indholdsfortegnelse:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2015
Indholdsfortegnelse:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2005
Indholdsfortegnelse:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”Få fuldtekst
Electronisk
eBog
13
af Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Udgivet 2012
Indholdsfortegnelse:
“... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”Udgivet 2012
Få fuldtekst
Electronisk
eBog
14
Udgivet 2013
Indholdsfortegnelse:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2010
Indholdsfortegnelse:
“... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2007
Indholdsfortegnelse:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Få fuldtekst
Electronisk
eBog
17
Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International...
Udgivet 2007
Indholdsfortegnelse:
“... -- Hardware Synthesis -- Automatic Data Path Generation from C code for Custom Processors -- Interconnect...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2008
Indholdsfortegnelse:
“... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”Få fuldtekst
Electronisk
eBog
19
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”Få fuldtekst
Electronisk
eBog