1
Argitaratua 2005
Aurkibidea: ... Guarantees in a Shared Storage Environment -- ParC#: Parallel Computing with C# in .Net -- Minimizing Hotspot...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2007
Aurkibidea: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2010
Aurkibidea: ... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2005
Aurkibidea: ... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2013
Aurkibidea: ...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2005
Aurkibidea: ... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2011
Aurkibidea: ... on the Internet of Things -- Finding All Maximum Non-crossing Subsets of Nets Using Dynamic Programming -- Non...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2014
Aurkibidea: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2010
Aurkibidea: ...Immune System Modelling -- A Petri Net Model of Granulomatous Inflammation -- Defining a Simulation...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2010
Aurkibidea: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2007
Aurkibidea: ... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2010
Aurkibidea: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2010
Aurkibidea: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2012
Aurkibidea: ... Controller for Flexible Specifications Using Difference Signals and Competitive Associative Nets -- Moments...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2014
Aurkibidea: ...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2005
Aurkibidea: ... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2008
Testu osoa
Baliabide elektronikoa eBook