1
Publicado em 2008
Sumário: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2010
Sumário: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2007
Sumário: ... in Radio Networks -- A Subjective Visit to Selected Topics in Distributed Computing -- Regular Papers...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2006
Sumário: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2008
Sumário: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2008
Sumário: ... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2005
Sumário: ...Improving Concurrent Write Scheme in File Server Group -- A Comparative Performance Study...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2006
Sumário: ... Computing Environment -- Clustering Multicast on Hypercube Network -- Checkpointing and Communication...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2005
Sumário: ... Environments -- A Resource-Based Server Performance Control for Grid Computing Systems -- IBP: An Index-Based...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2006
Sumário: ...Session 1: Best Paper Awards -- Optimizing Server Placement in Hierarchical Grid Environments...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2006
Sumário: ...-healing Web Server Using Differentiated Services -- Quality of Service Enabled Database Applications -- A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2005
Sumário: ...Keynote Addresses -- Rethinking Computer Architecture Research -- Event Servers for Crisis...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2010
Sumário: ...Intelligent Computing for Image Analysis (I) -- Feature Analysis and Classification of Lymph Nodes...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2006
Sumário: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2007
Sumário: ... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2005
Sumário: ... and Client-Server Computation -- Handling Expected Polynomial-Time Strategies in Simulation-Based Security...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2006
Sumário: ... and Systematic Construction of Two-Factor Authentication Scheme (Short Paper) -- Hierarchical Key Assignment...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2006
Sumário: ... of an Algorithm to Compute TCP Packet Round-Trip Time for Intrusion Detection -- DSO: Dependable Signing Overlay...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2008
Sumário: ... Enactment of Pragmatic-Reuse Plans -- Constructing Flexible Application Servers with Off-the-Shelf...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2007
Sumário: ...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...
Obter o texto integral
Recurso Eletrônico livro eletrônico