1
出版事項 2010
目次: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
全文の入手
電子媒体 eBook
2
出版事項 2006
目次: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
全文の入手
電子媒体 eBook
3
出版事項 2010
目次: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
全文の入手
電子媒体 eBook
4
出版事項 2014
目次: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
全文の入手
電子媒体 eBook
5
出版事項 2006
目次: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
全文の入手
電子媒体 eBook
6
出版事項 2013
目次: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
全文の入手
電子媒体 eBook
7
出版事項 2010
目次: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
全文の入手
電子媒体 eBook
8
出版事項 2008
目次: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
全文の入手
電子媒体 eBook
9
出版事項 2010
目次: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
全文の入手
電子媒体 eBook
10
出版事項 2010
目次: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
全文の入手
電子媒体 eBook
11
出版事項 2010
目次: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
全文の入手
電子媒体 eBook
12
出版事項 2006
目次: ... -- Modelling Errors and Recovery for Communication -- Lossless Data Compression Via Error Correction...
全文の入手
電子媒体 eBook
13
出版事項 2013
目次: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
全文の入手
電子媒体 eBook
14
出版事項 2006
目次: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
全文の入手
電子媒体 eBook
15
出版事項 2005
目次: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
全文の入手
電子媒体 eBook
16
出版事項 2006
目次: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
全文の入手
電子媒体 eBook
17
出版事項 2015
目次: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
全文の入手
電子媒体 eBook
18
出版事項 2010
目次: ... -- Genetic-Programming Based Prediction of Data Compression Saving -- Machine Learning...
全文の入手
電子媒体 eBook
19
出版事項 2007
目次: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
全文の入手
電子媒体 eBook
20
出版事項 2008
目次: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
全文の入手
電子媒体 eBook