1
Udgivet 2006
Indholdsfortegnelse: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ... -- The Beauty of Declarative Purely Functional Projections -- Finding Palindromes: Variants and Algorithms...
Få fuldtekst
Electronisk eBog
3
Udgivet 2012
Fag: ...Project Management. https://scigraph.springernature.com/ontologies/product-market-codes/515020...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...
Få fuldtekst
Electronisk eBog
7
Udgivet 2006
Indholdsfortegnelse: ... of the Gfan Software -- Parallel Homotopy Algorithms to Solve Polynomial Systems -- DEpthLAUNAY -- iB4e: A...
Få fuldtekst
Electronisk eBog
8
Udgivet 2014
Indholdsfortegnelse: ... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...
Få fuldtekst
Electronisk eBog
9
Udgivet 2010
Indholdsfortegnelse: ... -- Validated Special Functions Software -- The Dynamic Dictionary of Mathematical Functions (DDMF) -- Reliable...
Få fuldtekst
Electronisk eBog
10
Udgivet 2013
Indholdsfortegnelse: ... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ...Surveys -- Dependable Software -- Dependable Systems -- Survey on Dependable IP over Fiber Networks...
Få fuldtekst
Electronisk eBog
12
Udgivet 2015
Indholdsfortegnelse: ... of Requirements in Agile Software Development Projects with Traceability Metrics -- The Role of Catalogues...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ... Optimization Algorithm for Discrete Environments -- Project Management Software for Distributed Industrial...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Få fuldtekst
Electronisk eBog
15
Fag: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
16
Udgivet 2013
Indholdsfortegnelse: ... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...
Få fuldtekst
Electronisk eBog
17
Fag: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ... Definition and Quality Assurance in Ubiquitous Software Project -- Formal Methods for Analysing and Verifying...
Få fuldtekst
Electronisk eBog
19
Udgivet 2005
Indholdsfortegnelse: ... for Interactive Use and Monitoring of High-Throughput Proteome Annotation -- Grid Workflow Software for a High...
Få fuldtekst
Electronisk eBog
20
Udgivet 2006
Indholdsfortegnelse: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Få fuldtekst
Electronisk eBog