Canlyniadau Chwilio - ((functions computation) or (functions computational)) programming caching methods tools*

Chwilio eraill:
functions computational » function computation , directions computational , section computational
functions computation » function computation , functions composition , function composition
programming caching » programming making , programming learning , programming building
caching methods » catching methods , coaching methods , teaching methods

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Cael y testun llawn

Electronig eLyfr

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Cael y testun llawn

Electronig eLyfr

Advanced Techniques in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Cael y testun llawn

Electronig eLyfr

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Cael y testun llawn

Electronig eLyfr

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Heat Transfer in Parallel Computer Architectures -- SkvG: Cache-Optimal Parallel Solution of PDEs...”
Cael y testun llawn

Electronig eLyfr

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
Cael y testun llawn

Electronig eLyfr

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Cael y testun llawn

Electronig eLyfr

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”
Cael y testun llawn

Electronig eLyfr

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Cael y testun llawn

Electronig eLyfr

Web Engineering 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Practical Methods for Adapting Services Using Enterprise Service Bus -- On the Quality of Navigation Models...”
Cael y testun llawn

Electronig eLyfr

Advanced Data Mining and Applications 6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part II /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Basic Function Neural Networks Based on Artificial Immune Networks -- Spatial Filter Selection...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad