1
יצא לאור 2008
תוכן הענינים: ... Method of Interconnection Network -- The Bandwidth Expansion Effectiveness of Cache Levels Block Prefetch...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים: ... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים: ... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2005
תוכן הענינים: ... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2013
תוכן הענינים: ... Consumption of I/O Functions in Embedded Applications -- An Application-Aware Cache Replacement Policy...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים: ... Broadcast Environment -- Enhancing Data Caching In Ad Hoc Networks through Benefit Based Technique...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים: ...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2015
תוכן הענינים: ... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים: ...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2015
תוכן הענינים: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2010
תוכן הענינים: ... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים: ... of Collision Search -- Cryptanalysis of the CRUSH Hash Function -- Improved Side-Channel Collision Attacks...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2007
תוכן הענינים: ... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2008
תוכן הענינים: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2005
תוכן הענינים: ... Recovery Mechanism with Pipeline Computing in Clustered-Based VOD Servers -- Dynamic and Scalable Caching...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים: ... -- Practical Methods for Adapting Services Using Enterprise Service Bus -- On the Quality of Navigation Models...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני