1
Publicado 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Ligazón do recurso
Electrónico eBook
2
Publicado 2005
Table of Contents: ... -- Automatic Completion and Refinement of Verification Sets for Microprocessor Cores -- A Genetic Algorithm...
Ligazón do recurso
Electrónico eBook
3
Publicado 2013
Table of Contents: ... Composition, Execution and Resource Allocation -- Multicore and Accelerator Development for a Leadership-Class...
Ligazón do recurso
Electrónico eBook
4
Publicado 2008
Table of Contents: ... Nonlinear Systems Using a Nonlinear Hybridization -- Modeling and Simulation of Biochemical Processes Using...
Ligazón do recurso
Electrónico eBook
5
Publicado 2007
Table of Contents: ... Places to Few: Automatic Abstraction Refinement for Petri Nets -- A Compositional Method...
Ligazón do recurso
Electrónico eBook
6
Publicado 2008
Table of Contents: ... Persistent Petri Nets -- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A...
Ligazón do recurso
Electrónico eBook
7
Publicado 2005
Table of Contents: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
Ligazón do recurso
Electrónico eBook
8
Publicado 2006
Table of Contents: ... Process Creation Support in an Engineering Domain -- Session V – Network Services -- A Multi-attribute...
Ligazón do recurso
Electrónico eBook
9
Publicado 2014
Table of Contents: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Ligazón do recurso
Electrónico eBook
10
Publicado 2005
Table of Contents: ...-Performance Microprocessors -- Low Power Robust Computing -- Networks and Games -- Plenary Session - Best...
Ligazón do recurso
Electrónico eBook
11
Publicado 2006
Table of Contents: ... and Their Composites -- On the Tensile Strength of a Solid Nanowire -- Fracture Nucleation in Single-Wall Carbon...
Ligazón do recurso
Electrónico eBook