1
Argitaratua 2008
Aurkibidea: ... Simplified -- Tabular Expressions and Total Functional Programming -- Speculative Inlining of Predefined...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2005
Aurkibidea: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2014
Aurkibidea: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2008
Aurkibidea: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2007
Aurkibidea: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2006
Aurkibidea: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2015
Aurkibidea: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2010
Aurkibidea: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2007
Aurkibidea: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2006
Aurkibidea: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2005
Aurkibidea: ...Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2006
Aurkibidea: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2008
Aurkibidea: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2014
Aurkibidea: ... Systems -- 2 New Parallel Matrix Multiplication Algorithms for Wormhole-Routed All-Port 2D/3D Torus...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2007
Aurkibidea: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2013
Aurkibidea: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2005
Aurkibidea: ... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2006
Aurkibidea: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Testu osoa
Baliabide elektronikoa eBook