檢索結果 - ((functions computation) or (functions computational)) programming caching method case*

搜索替代詞:
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 method » coaching method , catching methods , coaching methods
method case » methods case , method based

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

出版 2010

書本目錄: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
獲取全文

電子電子書

Innovations in Computing Sciences and Software Engineering

出版 2010

書本目錄: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
獲取全文

電子電子書

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

出版 2014

書本目錄: “... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

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

書本目錄: “... for Level-1 Caches -- A Case for Dual-Mapping One-Way Caches -- Cache Write-Back Schemes for Embedded...”
獲取全文

電子電子書

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

出版 2006

書本目錄: “... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

出版 2013

書本目錄: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

出版 2010

書本目錄: “... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

The Semantic Web: Research and Applications 7th European Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II /

出版 2010

書本目錄: “... Contextualized Knowledge Framework for Semantic Web -- Computational and Crowdsourcing Methods for Extracting...”
獲取全文

電子電子書

Software Modification in a Fault Analysis Tool for Critical Path Debugging

由 Han, Chung Dean
出版 2009

“... of functionalities; complex IC test system will certainly have the upper hand but in the case of solving common...”
獲取全文

Thesis

Software Modification in a Fault Analysis Tool for Critical Path Debugging

由 Han, Chung Dean
出版 2009

“... of functionalities; complex IC test system will certainly have the upper hand but in the case of solving common...”
獲取全文

Thesis

縮小搜索