1
Published 2012
Table of Contents: ... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... to Implement FSMs in Heterogenous FPGAs -- Efficient Functional Decomposition Algorithm Based on Indexed...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Diagnosis with Proteomic Bio-markers -- Intelligent Multiobjective Particle Swarm Optimization Based on AER...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... on the Joint Linear Complexity Profile of Multisequences -- Period of Streamcipher Edon80 -- Boolean Function...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Signatures -- A New RSA-Based Signature Scheme -- Fair Blind Signatures without Random Oracles...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... BB84 -- Leakage Squeezing of Order Two -- Hash Functions and Stream Cipher -- Collision Attack...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... on Tiger -- RC4-Hash: A New Hash Function Based on RC4 -- Security of VSH in the Real World -- Provable...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... of Externally Fired Gas Turbines -- Exergy and Exergo-Economic Based Analysis of a Gas Turbine Power Generation...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... for Genetic Regulatory Networks -- Compositional Verification for Component-Based Systems and Application -- A...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... for Real-Time Systems with Mixed Workload -- Reconfigurable Embedded Systems -- Function-Level Multitasking...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... resonance and fluorescence based molecular imaging technologies -- Studying molecular and cellular processes...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... of Carbon Nanotubes -- Energy Landscapes of Protein Self-Assembly: Lessons from Native Topology-Based Models...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...
View full text
Electronic eBook
17
Published 2011
Table of Contents: ... Phase Protein Array-Based Protein Quantification -- Reverse-Phase Protein Lysate Microarray (RPA...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... -- : An Enhanced Stream-Based Communication Mechanism -- Performance of Coupled Parallel Finite Element Analysis...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... in Evolutionary Algorithms -- A Review of Techniques for Handling Expensive Functions in Evolutionary Multi...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ....INTRODUCTION. 2. WHAT IS A MICROFLUIDIC PLATFORM. 3. EXAMPLES OF MICROFLUIDIC PLATFORMS. 3.1.PDMS based...
View full text
Electronic eBook