1
Publicado 2010
Tabla de Contenidos: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Enlace del recurso
Electrónico eBook
2
Publicado 2014
Tabla de Contenidos: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Enlace del recurso
Electrónico eBook
4
Publicado 2015
Tabla de Contenidos: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Enlace del recurso
Electrónico eBook
5
Publicado 2013
Tabla de Contenidos: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Enlace del recurso
Electrónico eBook
6
Publicado 2006
Tabla de Contenidos: ... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...
Enlace del recurso
Electrónico eBook
7
Publicado 2014
Tabla de Contenidos: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Enlace del recurso
Electrónico eBook
8
Publicado 2008
Tabla de Contenidos: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Enlace del recurso
Electrónico eBook
9
Publicado 2007
Tabla de Contenidos: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Enlace del recurso
Electrónico eBook
10
Publicado 2007
Tabla de Contenidos: ... and Partitioning -- A Hybrid Approach for System-Level Design Evaluation -- Automatic Parallelization of Sequential...
Enlace del recurso
Electrónico eBook