提案スペルによる検索:
functionality function » functionals function, functionaries function, functional functions
parallel programming » parallel processing
finite functionality » defining functionality, its functionality, office functionality
programming finite » programming first, programming sqlite, programming units
function https » functions https, fiction https
1
出版事項 2007
目次: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
全文の入手
電子媒体 eBook
3
出版事項 2015
目次: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
全文の入手
電子媒体 eBook
4
出版事項 2010
目次: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
全文の入手
電子媒体 eBook
5
出版事項 2006
目次: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
全文の入手
電子媒体 eBook
6
出版事項 2010
目次: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
全文の入手
電子媒体 eBook
7
出版事項 2008
目次: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
全文の入手
電子媒体 eBook
8
出版事項 2014
目次: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
全文の入手
電子媒体 eBook
9
出版事項 2006
目次: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
全文の入手
電子媒体 eBook
10
出版事項 2005
目次: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
全文の入手
電子媒体 eBook
11
出版事項 2007
目次: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
全文の入手
電子媒体 eBook
12
出版事項 2010
目次: ... of Modular Aggregation Functions -- Smooth Aggregation Functions on Finite Scales -- Dual Representable...
全文の入手
電子媒体 eBook
13
出版事項 2008
目次: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
全文の入手
電子媒体 eBook
14
出版事項 2005
目次: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
全文の入手
電子媒体 eBook
15
出版事項 2010
目次: ... Networks in a Parametric SIMD Parallel System on Chip -- A Dedicated Reconfigurable Architecture for Finite...
全文の入手
電子媒体 eBook
16
出版事項 2010
目次: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
全文の入手
電子媒体 eBook
17
出版事項 2008
目次: ... -- : An Enhanced Stream-Based Communication Mechanism -- Performance of Coupled Parallel Finite Element Analysis...
全文の入手
電子媒体 eBook
18
出版事項 2010
目次: ...Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD...
全文の入手
電子媒体 eBook
19
出版事項 2012
目次: ... Parallel Algorithm with Improved Performance of Finite Volume Method (SIMPLE-TS).-Towards Distributed...
全文の入手
電子媒体 eBook
20
出版事項 2006
目次: ... Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) -- Automata and Logics...
全文の入手
電子媒体 eBook