1
Julkaistu 2012
Sisällysluettelo: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2008
Sisällysluettelo: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2006
Sisällysluettelo: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2015
Sisällysluettelo: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2008
Sisällysluettelo: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2007
Sisällysluettelo: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2013
Sisällysluettelo: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2007
Sisällysluettelo: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2014
Sisällysluettelo: ... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2013
Sisällysluettelo: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2006
Sisällysluettelo: ... Crypt -- Cryptography Meets Humans -- Hiding Secret Points Amidst Chaff -- Parallel and Concurrent...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2006
Sisällysluettelo: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2013
Sisällysluettelo: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2011
Sisällysluettelo: ... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...
Hae kokoteksti
Elektroninen E-kirja
15
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