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: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
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: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
View full text
Electronic eBook
7
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
8
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook
9
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
10
Published 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... -- A Systematic Elaboration of Safety Requirements in the Avionic Domain -- Parallel NuSMV: A NuSMV...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
View full text
Electronic eBook
14
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
15
Published 2013
Table of Contents: ... Design for Processors -- Enhanced Classroom Presenter -- A Textual Domain Specific Language for User...
View full text
Electronic eBook