1
Julkaistu 2005
Sisällysluettelo: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2014
Sisällysluettelo: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Hae kokoteksti
Elektroninen E-kirja
3
Aiheet: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2015
Sisällysluettelo: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2010
Sisällysluettelo: ... of Reconfigurable Hardware for Accelerated Parallel Processing -- Routing-Aware Application Mapping Considering...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2007
Sisällysluettelo: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2014
Sisällysluettelo: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2005
Sisällysluettelo: ... Process Calculus for QoS-Aware Applications -- Abstract Interpretation-Based Verification of Non...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2014
Sisällysluettelo: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2008
Sisällysluettelo: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2008
Sisällysluettelo: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2005
Sisällysluettelo: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2015
Sisällysluettelo: ... features values -- IX Concurrent Parallel Processing -- Parallelization of a Block Cipher Based on Chaotic...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2005
Sisällysluettelo: ... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2005
Sisällysluettelo: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2013
Sisällysluettelo: ... Memory Organization for 3-D DRAM as Main Memory -- Synthetic Aperture Radar Data Processing on an FPGA...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2007
Sisällysluettelo: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2008
Sisällysluettelo: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2007
Sisällysluettelo: ...Validation and Verification -- Requirements and Concepts for Transaction Level Assertion Refinement...
Hae kokoteksti
Elektroninen E-kirja