בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
programming nets » programming net, programming sets, programming meets
nets array » sets arrays, lens array, nested array
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
programming nets » programming net, programming sets, programming meets
nets array » sets arrays, lens array, nested array
1
יצא לאור 2005
תוכן הענינים:
“... Guarantees in a Shared Storage Environment -- ParC#: Parallel Computing with C# in .Net -- Minimizing Hotspot...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים:
“... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2013
תוכן הענינים:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2005
תוכן הענינים:
“... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2014
תוכן הענינים:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים:
“...Immune System Modelling -- A Petri Net Model of Granulomatous Inflammation -- Defining a Simulation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2007
תוכן הענינים:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2011
תוכן הענינים:
“... on the Internet of Things -- Finding All Maximum Non-crossing Subsets of Nets Using Dynamic Programming -- Non...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים:
“... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2012
תוכן הענינים:
“... Controller for Flexible Specifications Using Difference Signals and Competitive Associative Nets -- Moments...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2014
תוכן הענינים:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17