1
Được phát hành 2010
Mục lục: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
lấy văn bản
Điện tử eBook
3
Được phát hành 2008
Mục lục: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
lấy văn bản
Điện tử eBook
4
Được phát hành 2006
Mục lục: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
lấy văn bản
Điện tử eBook
5
Được phát hành 2007
Mục lục: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
lấy văn bản
Điện tử eBook
6
Được phát hành 2013
Mục lục: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
lấy văn bản
Điện tử eBook
7
Được phát hành 2015
Mục lục: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
lấy văn bản
Điện tử eBook
8
Được phát hành 2005
Mục lục: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
lấy văn bản
Điện tử eBook
9
Mục lục: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
lấy văn bản
Điện tử eBook
10
Được phát hành 2008
Mục lục: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
lấy văn bản
Điện tử eBook
11
Được phát hành 2010
Mục lục: ... of Approximately Counting Stable Matchings -- Constant Approximation Algorithms for Embedding Graph Metrics...
lấy văn bản
Điện tử eBook
12
Được phát hành 2005
Mục lục: ... to Balanced Metric Labeling -- Fearful Symmetries: Quantum Computing, Factoring, and Graph Isomorphism...
lấy văn bản
Điện tử eBook
13
Được phát hành 2008
Mục lục: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
lấy văn bản
Điện tử eBook
14
Được phát hành 2015
Mục lục: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
lấy văn bản
Điện tử eBook
15
Được phát hành 2015
Mục lục: ... in Requirements-based Hazard Mitigations -- Evaluating Feature Models: A Goal-Question-Metric Study at Opel...
lấy văn bản
Điện tử eBook
16
Được phát hành 2005
Mục lục: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
lấy văn bản
Điện tử eBook
17
Được phát hành 2007
Mục lục: ... for Parabolic Optimal Control Problems -- Searching and Updating Metric Space Databases Using the Parallel EGNAT...
lấy văn bản
Điện tử eBook
18
Được phát hành 2006
Mục lục: ... for Provably Secure Computation -- Scoring Matrices That Induce Metrics on Sequences -- Data Structures...
lấy văn bản
Điện tử eBook
19
Được phát hành 2010
Mục lục: ... Compact Metric Cache -- Estimating the Influence of Documents in IR Systems: A Marked Indexing Approach...
lấy văn bản
Điện tử eBook
20
Được phát hành 2012
Mục lục: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
lấy văn bản
Điện tử eBook