Résultats de la recherche - parallel program slice functionals function https

Recherches alternatives:
functionals function » function function , functions functional , function dysfunction
slice functionals » rice functional , mice functional , soce functional
parallel program » parallel programs , parallel problem , parallel programming
function https » functions https , fiction https
program slice » program slicer , programs slice , program size

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Publié 2010

Table des matières: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Accéder au texte intégral

Électronique eBook

DNA Cloning and Assembly Methods

Publié 2014

Table des matières: “...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”
Accéder au texte intégral

Électronique eBook

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Publié 2007

Table des matières: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Accéder au texte intégral

Électronique eBook

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Publié 2015

Table des matières: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Accéder au texte intégral

Électronique eBook

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publié 2013

Table des matières: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Accéder au texte intégral

Électronique eBook

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Publié 2014

Table des matières: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Accéder au texte intégral

Électronique eBook

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Publié 2006

Table des matières: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Accéder au texte intégral

Électronique eBook

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Publié 2008

Table des matières: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Accéder au texte intégral

Électronique eBook

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Publié 2007

Table des matières: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Accéder au texte intégral

Électronique eBook

Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA /

Publié 2007

Table des matières: “... and Partitioning -- A Hybrid Approach for System-Level Design Evaluation -- Automatic Parallelization of Sequential...”
Accéder au texte intégral

Électronique eBook

Restreindre la recherche