1
Published 2010
Table of Contents: ...Keynote Speech -- Building a Domain-Knowledge Guided System Software Environment to Achieve High...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... to Sensor Acquired Information -- Parallel Broadband Finite Element Time Domain Algorithm Implemented...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Computing Environments -- An Efficient Circuit–Switched Broadcasting in Star Graph -- Parallel Domain...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook
8
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
9
Published 2007
Table of Contents: ...-Shuffling in Domain-Specific SIMD Processors -- Customized Placement for High Performance Embedded Processor...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... -- The Configurable Processor View of Platform Provision -- Peripheral Modeling for Platform Driven ESL Design...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... of Parallel FEM Simulations on Voxel Domains .-On the Robustness of Two-Level Preconditioners for Quadratic FE...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... in Parallel Architectures and Multi- core Processors, For Performance Improvement -- Aligning Systems...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Parallel Packet Filters on a Cell Processor -- On the Algebraic Expression of the AES S-Box Like S-Boxes...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... -- A Systematic Elaboration of Safety Requirements in the Avionic Domain -- Parallel NuSMV: A NuSMV...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Design for Processors -- Enhanced Classroom Presenter -- A Textual Domain Specific Language for User...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
View full text
Electronic eBook