1
Veröffentlicht 2007
Inhaltsangabe: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2006
Inhaltsangabe: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2013
Inhaltsangabe: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2006
Inhaltsangabe: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2008
Inhaltsangabe: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2010
Inhaltsangabe: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2008
Inhaltsangabe: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2007
Inhaltsangabe: ... Identification in the Wall Region of Turbulent Channel Flow -- Numerical Solution of a Two-Class LWR Traffic Flow...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2014
Inhaltsangabe: ... Formal Proof of the Irrationality of ζ(3) -- From Operational Models to Information Theory; Side Channels...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2014
Inhaltsangabe: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2005
Inhaltsangabe: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2006
Inhaltsangabe: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2007
Inhaltsangabe: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2005
Inhaltsangabe: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2014
Inhaltsangabe: ... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2013
Inhaltsangabe: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2013
Inhaltsangabe: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Volltext
Elektronisch E-Book