Rezultati - parallel runtime programs functional function https

Poišči alternative:
programs functional » programming functional , proteins functional , processes functional
functional function » functionals function , functional functions , function function
parallel runtime » parallel runtimes , parallel time , parallel running
runtime programs » time programs , running programs , run programs
function https » functions https , fiction https

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

Izdano 2007

Kazalo: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Polni tekst

Elektronski eKnjiga

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 /

Izdano 2006

Kazalo: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2015

Kazalo: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2013

Kazalo: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... -- Runtime Analysis of Evolutionary Programming Based on Cauchy Mutation -- Best Hiding Capacity Scheme...”
Polni tekst

Elektronski eKnjiga

Transactions on High-Performance Embedded Architectures and Compilers IV

Izdano 2011

Kazalo: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... for Programming Chip Multiprocessors -- Functional Unit Chaining: A Runtime Adaptive Architecture for Reducing...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... -- Using a Runtime Measurement Device with Measurement-Based WCET Analysis -- Implementing Real-Time...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje