1
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Constraints Can Be Resolved – The Lovász Local Lemma and Satisfiability -- Session 1-Track A. Combinatorial...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ...The Role of Programming Languages in Future Data-Centric and Net-Centric Applications -- The Role...
View full text
Electronic eBook
6
by Dobson, Rick., Dobson, Rick.
Published 2006
Table of Contents: ...Working with SQL Server Express -- Getting Started with SQL Server Express -- Graphical and Command...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Computer System Survivability Modelling by Using Stochastic Activity Network -- Nuclear Safety...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ...'s Quantum Search Algorithm -- Design of a Scala-Based Monitoring Server for Web-Based Programming...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ...: A Literature Survey -- Detection of Web Based Attacks by Analyzing Web Server Log Files -- A Survey...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Computing Environment -- Clustering Multicast on Hypercube Network -- Checkpointing and Communication...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Constraints -- Formal Analysis of Secure Bootstrap in Trusted Computing -- Calculating Trust Using Aggregation...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... on Distributed VOD Server Environments -- A Secure Routing Protocol for Wireless Sensor Networks -- Efficient...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Multiprocessors -- Constraint-Aware Large-Scale CMP Cache Design -- Session III - Applications of Novel...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Clone-Enabled Feature Models’ Constraints and Customization -- Performing Domain Analysis for Model...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Environments -- A Resource-Based Server Performance Control for Grid Computing Systems -- IBP: An Index-Based...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ...P2P Storage Systems and Caching -- A File Transfer Service with Client/Server, P2P and Wide Area...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...
View full text
Electronic eBook