1
Udgivet 2008
Indholdsfortegnelse: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Få fuldtekst
Electronisk eBog
2
Indholdsfortegnelse: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
Få fuldtekst
Electronisk eBog
3
Udgivet 2013
Indholdsfortegnelse: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Få fuldtekst
Electronisk eBog
4
Udgivet 2012
Fag: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
5
Udgivet 2007
Indholdsfortegnelse: ... to Sensor Acquired Information -- Parallel Broadband Finite Element Time Domain Algorithm Implemented...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Få fuldtekst
Electronisk eBog
7
Udgivet 2005
Indholdsfortegnelse: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...
Få fuldtekst
Electronisk eBog
9
Indholdsfortegnelse: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Få fuldtekst
Electronisk eBog
10
Indholdsfortegnelse: ...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...
Få fuldtekst
Electronisk eBog
11
Udgivet 2012
Indholdsfortegnelse: ... Mosaicism -- Online Resources for Genomic Structural Variation -- Algorithm Implementation for CNV Discovery...
Få fuldtekst
Electronisk eBog
12
Udgivet 2007
Indholdsfortegnelse: ... for Dynamic and Time-Resolved Imaging -- The Development of TSENSE -- Technical Implementation in Clinical MRI...
Få fuldtekst
Electronisk eBog
13
Udgivet 2005
Indholdsfortegnelse: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Få fuldtekst
Electronisk eBog
15
Udgivet 2008
Indholdsfortegnelse: ...-Based Accelerators for BLAST Algorithm with Multi-seeds Detection and Parallel Extension -- Fast...
Få fuldtekst
Electronisk eBog
16
Udgivet 2006
Indholdsfortegnelse: ...Design Challenges in Multiprocessor Systems-on-Chip -- Some Issues in Model-Based Development...
Få fuldtekst
Electronisk eBog
17
...The Standards-Based Curriculum for Secondary School (KSSM) was first implemented in Malaysia...
Article
18
Udgivet 2006
Fag: ...Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Få fuldtekst
Electronisk eBog
20
Udgivet 2006
Indholdsfortegnelse: ... -- Key Research Challenges for Successfully Applying MDD Within Real-Time Embedded Software Development...
Få fuldtekst
Electronisk eBog