関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
parallel composition » parallel computation, parallel computations, parallel computational
composition software » composing software, communication software, computational software
software functionals » software functional, software foundation's, software fundamentals
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
parallel composition » parallel computation, parallel computations, parallel computational
composition software » composing software, communication software, computational software
software functionals » software functional, software foundation's, software fundamentals
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
1
出版事項 2013
目次:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”全文の入手
電子媒体
eBook
2
出版事項 2010
目次:
“... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...”全文の入手
電子媒体
eBook
3
出版事項 2005
目次:
“...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...”全文の入手
電子媒体
eBook
4
出版事項 2010
目次:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”全文の入手
電子媒体
eBook
5
出版事項 2013
目次:
“... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...”全文の入手
電子媒体
eBook
6
目次:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
全文の入手
全文の入手
電子媒体
eBook
7
出版事項 2010
目次:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”全文の入手
電子媒体
eBook
8
出版事項 2014
目次:
“... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...”全文の入手
電子媒体
eBook
9
出版事項 2005
目次:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”全文の入手
電子媒体
eBook
10
出版事項 2007
目次:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”全文の入手
電子媒体
eBook
11
出版事項 2015
目次:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”全文の入手
電子媒体
eBook
12
出版事項 2014
目次:
“... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”全文の入手
電子媒体
eBook
13
出版事項 2010
目次:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”全文の入手
電子媒体
eBook
14
出版事項 2010
目次:
“... Evolutionary Systems (IWCES 2010) -- A Bidirectional Heuristic Search Technique for Web Service Composition...”全文の入手
電子媒体
eBook
15
出版事項 2008
目次:
“...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”全文の入手
電子媒体
eBook
16
出版事項 2006
目次:
“...Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate...”全文の入手
電子媒体
eBook
17
出版事項 2010
目次:
“... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”全文の入手
電子媒体
eBook
18
出版事項 2007
目次:
“... Parallel Processor Architectures -- Invited Talk: Expanding Software Product Families: From Integration...”全文の入手
電子媒体
eBook
19
出版事項 2005
目次:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”全文の入手
電子媒体
eBook
20
出版事項 2008
目次:
“... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”全文の入手
電子媒体
eBook