1
出版事項 2010
目次: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
全文の入手
電子媒体 eBook
2
著者: Levitin, Gregory., Levitin, Gregory.
出版事項 2005
目次: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
全文の入手
電子媒体 eBook
3
出版事項 2005
目次: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
全文の入手
電子媒体 eBook
4
主題: ...Special purpose computers....
全文の入手
電子媒体 eBook
5
著者: Bronstein, Manuel., Bronstein, Manuel.
出版事項 2005
目次: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
全文の入手
電子媒体 eBook
6
目次: ... Pulse Sequences -- Fast Pulse Sequences -- Fat Suppression Techniques -- Parallel Imaging...
全文の入手
電子媒体 eBook
7
出版事項 2012
目次: ... Sequencing -- Massively Parallel Sequencing Approaches for Characterization of Structural Variation....
全文の入手
電子媒体 eBook
8
出版事項 2010
目次: ... Transformations to Improve and Extend Convergence -- Differential Resultant, Computer Algebra and Completely...
全文の入手
電子媒体 eBook
9
著者: Kozen, Dexter C., Kozen, Dexter C.
出版事項 2006
目次: ...Lectures -- The Complexity of Computations -- Time and Space Complexity Classes and Savitch’s...
全文の入手
電子媒体 eBook
10
出版事項 2007
目次: ... Division Characterise P -- Balancing Performance, Flexibility, and Scalability in a Parallel Computing...
全文の入手
電子媒体 eBook
11
出版事項 2015
目次: ... of Termination Proofs -- Local compactness for computable Polish metric spaces is $\Pi^1_1$-complete -- Iterative...
全文の入手
電子媒体 eBook
12
著者: Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
出版事項 2007
主題: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
全文の入手
電子媒体 eBook
13
出版事項 2010
目次: ... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...
全文の入手
電子媒体 eBook
14
出版事項 2008
目次: ... Method to Overcome Computer Word Size Limitation in Bit-Parallel Pattern Matching -- 6A Computational...
全文の入手
電子媒体 eBook
15
出版事項 2014
目次: ... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...
全文の入手
電子媒体 eBook
16
出版事項 2006
目次: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
全文の入手
電子媒体 eBook
17
出版事項 2006
目次: ... Algorithms: Approximate Algorithms for NP-Complete Optimization Problems -- Computationally Hard Problems...
全文の入手
電子媒体 eBook
18
出版事項 2005
目次: ... -- Automatic Completion and Refinement of Verification Sets for Microprocessor Cores -- A Genetic Algorithm...
全文の入手
電子媒体 eBook
19
出版事項 2015
目次: ... Concretization for Parallel Program Synthesis -- Automatic Completion of Distributed Protocols with Symmetry...
全文の入手
電子媒体 eBook
20
出版事項 2015
目次: ...&D Running and Completed Projects (Invited Papers) -- Towards Unification of Accelerated Computing...
全文の入手
電子媒体 eBook