Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming application » programming applications, programming optimization, processing application
application program » application programming, application protocol
program section » program execution, program collection, program security
section array » reaction array, section away, station array
https » http
programming application » programming applications, programming optimization, processing application
application program » application programming, application protocol
program section » program execution, program collection, program security
section array » reaction array, section away, station array
https » http
1
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Approach for Autonomic Profiling and Performance Assessment -- Ladder Metamodeling and PLC Program...”View full text
Electronic
eBook
4
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...”View full text
Electronic
eBook
6
Table of Contents:
“... Applications -- Understanding CIL and the Role of Dynamic Assemblies -- Programming with the .NET Libraries...”
View full text
View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”View full text
Electronic
eBook
9
Table of Contents:
“...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
View full text
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Architectures -- MPI Thread-Level Checking for MPI+OpenMP Applications -- Event-Action Mappings for Parallel...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“...Variations on Safety -- Decision Procedures and their Application in Analysis Decision Procedures...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... and Applications to Exact and Parameterized Algorithms -- Finding the Minimum-Distance Schedule for a Boundary...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Strategy for Network Processors -- Memory-Aware Application Mapping on Coarse-Grained Reconfigurable Arrays...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... for Supercomputing Applications - DEISA -- Towards Networked Computers: What Can Be Learned from Distributed...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Invited Program -- Keynote: Grand Challenges of Computer Engineering -- Keynote: The Impact...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook