Výsledky vyhledávání - parallel runtime program function function https*

Alternativní vyhledávání:
function function » function functional , functions functional , function dysfunction
parallel runtime » parallel runtimes , parallel time , parallel running
program function » programme function , programs functional , program foundation
runtime program » hunting program , time program , lifetime program
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

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Vydáno 2008

Obsah: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
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

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Vydáno 2005

Obsah: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Získat plný text

Elektronický zdroj E-kniha

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Vydáno 2006

Obsah: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Získat plný text

Elektronický zdroj E-kniha

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Vydáno 2010

Obsah: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2015

Obsah: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Získat plný text

Elektronický zdroj E-kniha

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Vydáno 2010

Obsah: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Získat plný text

Elektronický zdroj E-kniha

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Vydáno 2008

Obsah: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Získat plný text

Elektronický zdroj E-kniha

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Vydáno 2013

Obsah: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
Získat plný text

Elektronický zdroj E-kniha

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Vydáno 2010

Obsah: “... -- Runtime Analysis of Evolutionary Programming Based on Cauchy Mutation -- Best Hiding Capacity Scheme...”
Získat plný text

Elektronický zdroj E-kniha

Transactions on High-Performance Embedded Architectures and Compilers IV

Vydáno 2011

Obsah: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Získat plný text

Elektronický zdroj E-kniha

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Vydáno 2005

Obsah: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Získat plný text

Elektronický zdroj E-kniha

Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers /

Vydáno 2010

Obsah: “... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”
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 Programming Chip Multiprocessors -- Functional Unit Chaining: A Runtime Adaptive Architecture for Reducing...”
Získat plný text

Elektronický zdroj E-kniha

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Vydáno 2007

Obsah: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
Získat plný text

Elektronický zdroj E-kniha

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

Vydáno 2006

Obsah: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2007

Obsah: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2007

Obsah: “... -- Using a Runtime Measurement Device with Measurement-Based WCET Analysis -- Implementing Real-Time...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání