1
Veröffentlicht 2013
Inhaltsangabe: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2008
Inhaltsangabe: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... Distribution with Parallel File Systems -- Implementing Byte-Range Locks Using MPI One-Sided Communication...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2015
Inhaltsangabe: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2010
Inhaltsangabe: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2008
Inhaltsangabe: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2010
Inhaltsangabe: ... of Side Slope -- An Integrated and Grid Based Solution of Chemical Applications -- On the Nullity...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2014
Inhaltsangabe: ... -- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins -- Computation of an Improved...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2014
Inhaltsangabe: ... Formal Proof of the Irrationality of ζ(3) -- From Operational Models to Information Theory; Side Channels...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2013
Inhaltsangabe: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2008
Inhaltsangabe: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2008
Inhaltsangabe: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2005
Inhaltsangabe: ... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2012
Inhaltsangabe: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2006
Inhaltsangabe: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2007
Inhaltsangabe: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2013
Inhaltsangabe: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2015
Inhaltsangabe: ... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2007
Inhaltsangabe: ... for Real-Time Systems with Mixed Workload -- Reconfigurable Embedded Systems -- Function-Level Multitasking...
Volltext
Elektronisch E-Book