Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program https » programs https, program has, program help
program co » program c, program ch, program cc
co program » ceo program, mo program, go program
program https » programs https, program has, program help
program co » program c, program ch, program cc
co program » ceo program, mo program, go program
1
Published 2008
Table of Contents:
“... Explosion Problem -- Session 4. Automata -- On the Relative Succinctness of Nondeterministic Büchi and co...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“...Introduction -- ThArtes Toolchain -- The hArtes Platform -- Audio Array Processing for Telepresence...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Experiences with Co-array Fortran on Hardware Shared Memory Platforms -- Experiments with Auto-Parallelizing...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Keynotes (Abstracts) -- High-Performance Energy-Efficient Reconfigurable Accelerators/Co-processors...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Framework for Distributed Cellular Computing -- Hardware/Software Co-synthesis of Distributed Embedded...”View full text
Electronic
eBook
12
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
13
Published 2012
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...Invited Program -- Embedded Systems as Datacenters -- Larrabee: A Many-Core Intel Architecture...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Parallel Algorithms -- Scalable Co-clustering Algorithms -- Parallel Pattern Matching with Swaps on a...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...”View full text
Electronic
eBook
18
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...: Secure and Resilient Dynamic Clustering Protocol Preserving Data Privacy in WSNs -- Avoidance of Co...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“...Establishing a Hernia Program and Follow-up Regimen: A Complex Systems Design for Care...”View full text
Electronic
eBook