Результаты поиска - ((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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

Advanced Techniques in Computing Sciences and Software Engineering

Опубликовано 2010

Оглавление: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска