1
出版事項 2005
目次: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
全文の入手
電子媒体 eBook
2
出版事項 2008
目次: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
全文の入手
電子媒体 eBook
3
出版事項 2005
目次: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
全文の入手
電子媒体 eBook
4
出版事項 2010
目次: ... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...
全文の入手
電子媒体 eBook
5
出版事項 2005
目次: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
全文の入手
電子媒体 eBook
6
出版事項 2013
目次: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
全文の入手
電子媒体 eBook
7
出版事項 2006
目次: ... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...
全文の入手
電子媒体 eBook
8
出版事項 2015
目次: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
全文の入手
電子媒体 eBook
9
出版事項 2006
目次: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
全文の入手
電子媒体 eBook
10
出版事項 2008
目次: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
全文の入手
電子媒体 eBook
11
出版事項 2008
目次: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
全文の入手
電子媒体 eBook
12
出版事項 2014
目次: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
全文の入手
電子媒体 eBook
13
目次: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
全文の入手
電子媒体 eBook
14
目次: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
全文の入手
電子媒体 eBook
15
目次: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
全文の入手
電子媒体 eBook
16
出版事項 2007
目次: ... Streams -- Parallel Computing of Kernel Density Estimates with MPI -- Quantization Error and Accuracy...
全文の入手
電子媒体 eBook
17
出版事項 2008
目次: ... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...
全文の入手
電子媒体 eBook
18
出版事項 2008
目次: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
全文の入手
電子媒体 eBook
19
出版事項 2005
目次: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
全文の入手
電子媒体 eBook
20
出版事項 2007
目次: ... Performability in Component-Based Systems -- Multimedia Retrieval Algorithmics -- Foundations of Computer Science...
全文の入手
電子媒体 eBook