1
Published 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...
View full text
Electronic eBook
6
Published 2011
Table of Contents: ... Recognition System -- Study on Architecture and Performances of Dual Track SAW Device -- Adaptive Function...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... -- Algebraic Attacks on Clock-Controlled Cascade Ciphers -- An Algorithm for Solving the LPN Problem and Its...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... in Graph Using SMT for Automatic Clock Routing -- Cutting the Mix -- The Inez Mathematical Programming...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... clock -- Quantitative transcriptome analysis using RNA-seq -- Rapid and parallel quantification of small...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Environment for C-based High-Level Synthesis -- Integrated Coupling and Clock Frequency Assignment...
View full text
Electronic eBook