Zoekresultaten - parallel function total function function https*

Alternatieven:
parallel function » parallel functional , parallel auction , parallel union
function function » function functional , functions functional , function dysfunction
function total » functions total , functional total , function metal
total function » total functional , foal function , tubal function
function https » functions https , fiction https

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Gepubliceerd in 2008

Inhoudsopgave: “... Simplified -- Tabular Expressions and Total Functional Programming -- Speculative Inlining of Predefined...”
Volledige tekst

Elektronisch E-boek

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”
Volledige tekst

Elektronisch E-boek

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Gepubliceerd in 2010

Inhoudsopgave: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Volledige tekst

Elektronisch E-boek

Noncommutative Iwasawa Main Conjectures over Totally Real Fields Münster, April 2011 /

Gepubliceerd in 2013

Inhoudsopgave: “... main conjectures for totally real fields -- R. Sujatha: Reductions of the main conjecture -- Ted...”
Volledige tekst

Elektronisch E-boek

Advances in Cryptology – EUROCRYPT 2006 25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Pro...

Gepubliceerd in 2006

Inhoudsopgave: “... Crypt -- Cryptography Meets Humans -- Hiding Secret Points Amidst Chaff -- Parallel and Concurrent...”
Volledige tekst

Elektronisch E-boek

BioMEMS and Biomedical Nanotechnology Volume IV: Biomolecular Sensing, Processing and Analysis /

Gepubliceerd in 2007

Inhoudsopgave: “... Polymeric Networks in Biomolecular Sensing -- Processing and Integrated Systems -- A Multi-Functional Micro...”
Volledige tekst

Elektronisch E-boek

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Gepubliceerd in 2015

Inhoudsopgave: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Volledige tekst

Elektronisch E-boek

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”
Volledige tekst

Elektronisch E-boek

Next Generation Sequencing in Cancer Research Volume 1: Decoding the Cancer Genome /

Gepubliceerd in 2013

Inhoudsopgave: “...Introduction: next generation sequencing technology and cancer research -- The majority of total...”
Volledige tekst

Elektronisch E-boek

Applied Computation and Security Systems Volume Two /

Gepubliceerd in 2015

Inhoudsopgave: “...Software Engineering: Non-functional Property Aware Brokerage Approach for Cloud Service Discovery...”
Volledige tekst

Elektronisch E-boek

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
Volledige tekst

Elektronisch E-boek

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Volledige tekst

Elektronisch E-boek

Improving Complex Systems Today Proceedings of the 18th ISPE International Conference on Concurrent Engineering /

Gepubliceerd in 2011

Inhoudsopgave: “... Total Approach in Developing a System for Emergency Power Generation for Aircraft with Fly by Wire...”
Volledige tekst

Elektronisch E-boek

Numerical Simulation of Mechanical Behavior of Composite Materials

door Oller, Sergio., Oller, Sergio.
Gepubliceerd in 2014

Inhoudsopgave: “... function and plastic potential for isotropic materials -- General explicit definition of the isotropic...”
Volledige tekst

Elektronisch E-boek

Mathematical Methods in Engineering

Gepubliceerd in 2014

Inhoudsopgave: “... Systems -- 2 New Parallel Matrix Multiplication Algorithms for Wormhole-Routed All-Port 2D/3D Torus...”
Volledige tekst

Elektronisch E-boek

Ant Colony Optimization and Swarm Intelligence 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... Transport -- On – Ant System’s Parameters -- On the Invariance of Ant System -- Parallel Ant Colony...”
Volledige tekst

Elektronisch E-boek

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

Gepubliceerd in 2013

Inhoudsopgave: “... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...”
Volledige tekst

Elektronisch E-boek

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “...Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A...”
Volledige tekst

Elektronisch E-boek

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Gepubliceerd in 2014

Inhoudsopgave: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken