1
Publicat 2008
Taula de continguts: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
3
Publicat 2007
Taula de continguts: ... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Obtenir text complet
Electrònic eBook
5
Taula de continguts: ... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...
Obtenir text complet
Electrònic eBook
6
Publicat 2006
Taula de continguts: ... Evaluation of Tabled Prolog: Beyond Pure Logic Programs....
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Obtenir text complet
Electrònic eBook
8
Publicat 2008
Taula de continguts: ... Estimator for the Selection of an Autocorrelation Function Family -- Using Load Transformations to Predict...
Obtenir text complet
Electrònic eBook
9
Publicat 2010
Taula de continguts: ... Frequency Hopping -- Security of Wireless and Ad-Hoc Networks -- Secure RFID Application Data Management...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
Obtenir text complet
Electrònic eBook
11
Publicat 2008
Taula de continguts: ... -- Theoretical Bound and Practical Analysis of Connected Dominating Set in Ad Hoc and Sensor Networks -- Brief...
Obtenir text complet
Electrònic eBook
12
Publicat 2008
Taula de continguts: ... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...
Obtenir text complet
Electrònic eBook
13
Matèries: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Obtenir text complet
Electrònic eBook
14
Publicat 2006
Taula de continguts: ... for Ad Hoc Networks -- Session III B: Performance Evaluation I -- An Analytical Model for Capacity...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ... Monte-Carlo Tree Search Algorithm -- Monte-Carlo Tree Search in Settlers of Catan -- Evaluation Function...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...
Obtenir text complet
Electrònic eBook
17
Publicat 2005
Taula de continguts: ... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...
Obtenir text complet
Electrònic eBook
18
Publicat 2010
Taula de continguts: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
Obtenir text complet
Electrònic eBook
19
Publicat 2012
Taula de continguts: ... Monitoring and Analysis Framework -- AK-PPM: An Authenticated Packet Attribution Scheme for Mobile Ad Hoc...
Obtenir text complet
Electrònic eBook
20
Publicat 2014
Taula de continguts: ... Evaluation of Influence Diagrams -- Extended Probability Trees for Probabilistic Graphical Models -- Mixture...
Obtenir text complet
Electrònic eBook