Søgeresultater - parallel running programs functionals function https

Søg alternativer:
programs functionals » programs functional , programming functionals , program functionality
functionals function » function function , functions functional , function dysfunction
parallel running » parallel thinning , parallel routing , parallel using
running programs » training programs , planning programs , winning program
function https » functions https , fiction https

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

Udgivet 2005

Indholdsfortegnelse: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Få fuldtekst

Electronisk eBog

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... for Analyzing Running Times of Parallel Evolutionary Algorithms -- Negative Drift in Populations -- Log...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Udgivet 2015

Indholdsfortegnelse: “... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Udgivet 2014

Indholdsfortegnelse: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Få fuldtekst

Electronisk eBog

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Få fuldtekst

Electronisk eBog

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Få fuldtekst

Electronisk eBog

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Få fuldtekst

Electronisk eBog

Evolutionary Algorithms for Solving Multi-Objective Problems

af Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Udgivet 2007

Indholdsfortegnelse: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
Få fuldtekst

Electronisk eBog

Transactions on High-Performance Embedded Architectures and Compilers IV

Udgivet 2011

Indholdsfortegnelse: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Få fuldtekst

Electronisk eBog

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Udgivet 2006

Indholdsfortegnelse: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Få fuldtekst

Electronisk eBog

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Udgivet 2007

Indholdsfortegnelse: “... Simulation -- Variable Relaxation Solve for Nonlinear Thermal Conduction -- A Moving Boundary Wave Run-Up...”
Få fuldtekst

Electronisk eBog

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”
Få fuldtekst

Electronisk eBog

Reconfigurable Computing: Architectures, Tools, and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning