Výsledky vyhledávání - parallel programming register function function https

Alternativní vyhledávání:
parallel programming » parallel processing
programming register » programming revisited , programming regular , programming master
register function » ester function , register section , deliver function
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Vydáno 2007

Obsah: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Získat plný text

Elektronický zdroj E-kniha

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Vydáno 2006

Obsah: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Získat plný text

Elektronický zdroj E-kniha

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Vydáno 2005

Obsah: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2007

Obsah: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Získat plný text

Elektronický zdroj E-kniha

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Vydáno 2008

Obsah: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Získat plný text

Elektronický zdroj E-kniha

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Vydáno 2014

Obsah: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Získat plný text

Elektronický zdroj E-kniha

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Vydáno 2005

Obsah: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Získat plný text

Elektronický zdroj E-kniha

Recent Advances in Phototrophic Prokaryotes

Vydáno 2010

Obsah: “... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...”
Získat plný text

Elektronický zdroj E-kniha

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings /

Vydáno 2014

Obsah: “... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...”
Získat plný text

Elektronický zdroj E-kniha

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Vydáno 2006

Obsah: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
Získat plný text

Elektronický zdroj E-kniha

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

Vydáno 2008

Obsah: “... Level Parallelism and Register File Traffic -- Scalable Architecture for Prefix Preserving Anonymization...”
Získat plný text

Elektronický zdroj E-kniha

Architecture of Computing Systems -- ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings /

Vydáno 2013

Obsah: “... Multi-core System -- Virtual Register Renaming -- Load-Adaptive Monitor-Driven Hardware for Preventing...”
Získat plný text

Elektronický zdroj E-kniha

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Vydáno 2007

Obsah: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Získat plný text

Elektronický zdroj E-kniha

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...

Vydáno 2008

Obsah: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Získat plný text

Elektronický zdroj E-kniha

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Vydáno 2006

Obsah: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
Získat plný text

Elektronický zdroj E-kniha

Coding and Cryptography International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005, Revised Selected Papers /

Vydáno 2006

Obsah: “... to Algebraic Attacks on Stream Ciphers -- On the Non-linearity and Sparsity of Boolean Functions Related...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání