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