1
Publicado em 2010
Sumário: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2014
Sumário: ... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Sumário: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2006
Sumário: ... for Level-1 Caches -- A Case for Dual-Mapping One-Way Caches -- Cache Write-Back Schemes for Embedded...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2006
Sumário: ... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2005
Sumário: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2013
Sumário: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2015
Sumário: ... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2008
Sumário: ...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2015
Sumário: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2007
Sumário: ... -- Practical Methods for Adapting Services Using Enterprise Service Bus -- On the Quality of Navigation Models...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ... Contextualized Knowledge Framework for Semantic Web -- Computational and Crowdsourcing Methods for Extracting...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Por Han, Chung Dean
Publicado em 2009
... of functionalities; complex IC test system will certainly have the upper hand but in the case of solving common...
Obter o texto integral
Thesis
20
Por Han, Chung Dean
Publicado em 2009
... of functionalities; complex IC test system will certainly have the upper hand but in the case of solving common...
Obter o texto integral
Thesis