Søgeresultater - parallel specifications problem functionals function https

Søg alternativer:
parallel specifications » partial specifications , guarantee specifications , parallel applications
specifications problem » specifications program , specifications portable , specifications from
functionals function » function function , functions functional , function dysfunction
problem functionals » problem functional , problems functions , probing functional
function https » functions https , fiction https

Guide to FPGA Implementation of Arithmetic Functions

af Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Udgivet 2012

Fag: “...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”
Få fuldtekst

Electronisk eBog

Parallel Imaging in Clinical MR Applications

Udgivet 2007

Indholdsfortegnelse: “...Basic Principles of Parallel-Imaging Techniques -- MRI from k-Space to Parallel Imaging -- Basic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Få fuldtekst

Electronisk eBog

Visual C# 2010 Recipes A Problem-Solution Approach /

af Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Udgivet 2010

Indholdsfortegnelse: “... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”
Få fuldtekst

Electronisk eBog

Performance of Pharmaceutical Companies in India A Critical Analysis of Industrial Structure, Firm Specific Resources, and Emerging Strategies /

af Mazumdar, Mainak., Mazumdar, Mainak.
Udgivet 2013

Indholdsfortegnelse: “... -- The Problem of Availability of Patented Drugs due to Product Patent and Parallel Trade: A Theoretical Approach...”
Få fuldtekst

Electronisk eBog

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...”
Få fuldtekst

Electronisk eBog

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Få fuldtekst

Electronisk eBog

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Udgivet 2013

Indholdsfortegnelse: “... Game -- A Study on the Specification of a Scalarizing Function in MOEA/D for Many-Objective Knapsack...”
Få fuldtekst

Electronisk eBog

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Languages -- Reverse Code Generation for Parallel Discrete Event Simulation -- Towards a Domain-Specific...”
Få fuldtekst

Electronisk eBog

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”
Få fuldtekst

Electronisk eBog

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”
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: “... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”
Få fuldtekst

Electronisk eBog

Security and Cryptography for Networks 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...Encryption I -- Time-Specific Encryption -- Public-Key Encryption with Efficient Amortized Updates...”
Få fuldtekst

Electronisk eBog

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...”
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

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: “... Theory in Coq -- Completeness and Decidability Results for CTL in Coq -- Hypermap Specification...”
Få fuldtekst

Electronisk eBog

Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Studies of Wheat Microarray Data to Identify Treatment-Specific Regulatory Networks -- Finding Frequent...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... for Uncapacitated Facility Location Problem -- A Direct Application of Ant Colony Optimization to Function...”
Få fuldtekst

Electronisk eBog

1
2
3
4
Næste »
[4]

Indsnæver søgning