检索结果 - ((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...”
获取全文

电子电子书

缩小搜索