בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
interactive computation » interactive computing, interactive simulation, interactive communications
computation programming » communication programming, computation programmatic, computing programming
programming caching » programming making, programming learning, programming building
caching arrays » scanning arrays
arrays a » arrays _
interactive computation » interactive computing, interactive simulation, interactive communications
computation programming » communication programming, computation programmatic, computing programming
programming caching » programming making, programming learning, programming building
caching arrays » scanning arrays
arrays a » arrays _
1
יצא לאור 2005
תוכן הענינים:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים:
“... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2005
תוכן הענינים:
“...-Grained Parallel Algorithm for Irregular Dynamic Programming Applications -- A Feedback-Based Adaptive...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2014
תוכן הענינים:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2015
תוכן הענינים:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים:
“...) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים:
“... Information Integration -- A Caching Model for Real-Time Databases in Mobile Ad-Hoc Networks -- Adaptive Query...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני