1
Được phát hành 2008
Mục lục: ... Simplified -- Tabular Expressions and Total Functional Programming -- Speculative Inlining of Predefined...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
lấy văn bản
Điện tử eBook
4
Được phát hành 2014
Mục lục: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
lấy văn bản
Điện tử eBook
5
Đượ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
6
Đượ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
7
Được phát hành 2006
Mục lục: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
lấy văn bản
Điện tử eBook
8
Được phát hành 2014
Mục lục: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
lấy văn bản
Điện tử eBook
9
Đượ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
10
Được phát hành 2010
Mục lục: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
lấy văn bản
Điện tử eBook
11
Được phát hành 2007
Mục lục: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
lấy văn bản
Điện tử eBook
12
Được phát hành 2006
Mục lục: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
lấy văn bản
Điện tử eBook
13
Được phát hành 2005
Mục lục: ...Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A...
lấy văn bản
Điện tử eBook
14
Được phát hành 2006
Mục lục: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
lấy văn bản
Điện tử eBook
15
Được phát hành 2008
Mục lục: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
lấy văn bản
Điện tử eBook
16
Được phát hành 2014
Mục lục: ... Systems -- 2 New Parallel Matrix Multiplication Algorithms for Wormhole-Routed All-Port 2D/3D Torus...
lấy văn bản
Điện tử eBook
17
Được phát hành 2007
Mục lục: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
lấy văn bản
Điện tử eBook
18
Được phát hành 2013
Mục lục: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
lấy văn bản
Điện tử eBook
19
Được phát hành 2005
Mục lục: ... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...
lấy văn bản
Điện tử eBook
20
Được phát hành 2006
Mục lục: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
lấy văn bản
Điện tử eBook