関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
deterministic functionality » deterministic functional, deterministic fractional, deterministic functions
programming deterministic » programming nondeterministic, programming determining, programming heuristic
functionality function » functionals function, functionaries function, functional functions
parallel programming » parallel processing
function https » functions https, fiction https
deterministic functionality » deterministic functional, deterministic fractional, deterministic functions
programming deterministic » programming nondeterministic, programming determining, programming heuristic
functionality function » functionals function, functionaries function, functional functions
parallel programming » parallel processing
function https » functions https, fiction https
1
出版事項 2008
目次:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”全文の入手
電子媒体
eBook
2
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
出版事項 2014
目次:
“... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”全文の入手
電子媒体
eBook
3
出版事項 2014
目次:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”全文の入手
電子媒体
eBook
4
出版事項 2006
目次:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”全文の入手
電子媒体
eBook
5
出版事項 2013
目次:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”全文の入手
電子媒体
eBook
6
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
出版事項 2013
目次:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”全文の入手
電子媒体
eBook
7
出版事項 2007
目次:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”全文の入手
電子媒体
eBook
8
出版事項 2010
目次:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”全文の入手
電子媒体
eBook
9
出版事項 2006
目次:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”全文の入手
電子媒体
eBook
10
出版事項 2010
目次:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”全文の入手
電子媒体
eBook
11
出版事項 2008
目次:
“... Interaction in Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models...”全文の入手
電子媒体
eBook
12
出版事項 2012
目次:
“... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...”全文の入手
電子媒体
eBook
13
出版事項 2015
目次:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”全文の入手
電子媒体
eBook
14
出版事項 2010
目次:
“...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”全文の入手
電子媒体
eBook
15
出版事項 2008
目次:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”全文の入手
電子媒体
eBook
16
出版事項 2008
目次:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”全文の入手
電子媒体
eBook
17
出版事項 2008
目次:
“... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”全文の入手
電子媒体
eBook
18
出版事項 2014
目次:
“... -- Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems -- P Systems with Toxic...”全文の入手
電子媒体
eBook
19
出版事項 2013
目次:
“....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”全文の入手
電子媒体
eBook
20
出版事項 2006
目次:
“... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”全文の入手
電子媒体
eBook