1
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Crypt -- Cryptography Meets Humans -- Hiding Secret Points Amidst Chaff -- Parallel and Concurrent...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... -- Bi-objective Optimization in Identical Parallel Machine Scheduling Problem -- Teaching-Learning-Based...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... -- Temporal Representation in Spike Detection of Sparse Personal Identity Streams -- Mining Positive...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Detection -- Knowledge-aided Bayesian Optimum Radar Detector -- An Improvement of an Identity Based Key...
View full text
Electronic eBook