檢索結果 - ((function computation) or (functions computational)) programming caching methods papers*

搜索替代詞:
functions computational » functions computation , directions computational , section computational
function computation » function computing , function decomposition , section computational
programming caching » programming making , programming learning , programming building
caching methods » catching methods , coaching methods , teaching methods
methods papers » method papers , methods pattern , methods part

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9...

出版 2008

書本目錄: “... Method of Interconnection Network -- The Bandwidth Expansion Effectiveness of Cache Levels Block Prefetch...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...”
獲取全文

電子電子書

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009...

出版 2010

書本目錄: “... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...”
獲取全文

電子電子書

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

出版 2010

書本目錄: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
獲取全文

電子電子書

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

書本目錄: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
獲取全文

電子電子書

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

出版 2005

書本目錄: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
獲取全文

電子電子書

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

出版 2006

書本目錄: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
獲取全文

電子電子書

Architecture of Computing Systems -- ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings /

出版 2013

書本目錄: “... Consumption of I/O Functions in Embedded Applications -- An Application-Aware Cache Replacement Policy...”
獲取全文

電子電子書

Proceedings of International Conference on Internet Computing and Information Communications ICICIC Global 2012 /

出版 2014

書本目錄: “... Broadcast Environment -- Enhancing Data Caching In Ad Hoc Networks through Benefit Based Technique...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
獲取全文

電子電子書

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

出版 2010

書本目錄: “...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...”
獲取全文

電子電子書

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

出版 2015

書本目錄: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
獲取全文

電子電子書

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

出版 2015

書本目錄: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”
獲取全文

電子電子書

Selected Areas in Cryptography 14th International Workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007, Revised Selected Papers /

出版 2007

書本目錄: “... of Collision Search -- Cryptanalysis of the CRUSH Hash Function -- Improved Side-Channel Collision Attacks...”
獲取全文

電子電子書

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

出版 2007

書本目錄: “... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
獲取全文

電子電子書

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005, Proceedings, Part II /

出版 2005

書本目錄: “... Recovery Mechanism with Pipeline Computing in Clustered-Based VOD Servers -- Dynamic and Scalable Caching...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... -- Practical Methods for Adapting Services Using Enterprise Service Bus -- On the Quality of Navigation Models...”
獲取全文

電子電子書

縮小搜索