1
出版事項 2007
目次: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
全文の入手
電子媒体 eBook
2
出版事項 2006
目次: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
全文の入手
電子媒体 eBook
3
出版事項 2005
目次: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
全文の入手
電子媒体 eBook
4
出版事項 2005
目次: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
全文の入手
電子媒体 eBook
5
出版事項 2008
目次: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
全文の入手
電子媒体 eBook
6
出版事項 2014
目次: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
全文の入手
電子媒体 eBook
7
出版事項 2008
目次: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
全文の入手
電子媒体 eBook
8
出版事項 2007
目次: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
全文の入手
電子媒体 eBook
9
出版事項 2010
目次: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
全文の入手
電子媒体 eBook
10
出版事項 2010
目次: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
全文の入手
電子媒体 eBook
11
出版事項 2014
目次: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
全文の入手
電子媒体 eBook
12
出版事項 2010
目次: ... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...
全文の入手
電子媒体 eBook
13
出版事項 2008
目次: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
全文の入手
電子媒体 eBook
14
出版事項 2008
目次: ... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...
全文の入手
電子媒体 eBook
15
出版事項 2013
目次: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
全文の入手
電子媒体 eBook
16
出版事項 2005
目次: ... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...
全文の入手
電子媒体 eBook
17
出版事項 2015
目次: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
全文の入手
電子媒体 eBook
18
出版事項 2013
目次: ... Competitive Clustering Networks -- Adapting intensity degradation to enhance fisheye images shot inside cup...
全文の入手
電子媒体 eBook