Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration session » integration series, integration solutions, integration services
session programming » revision programming, design programming, session programme
programming program » programming programmed, programming problem, programming problems
program cases » programs cases, program case, program casper
cases https » atlases https, spaces https, nurses https
integration session » integration series, integration solutions, integration services
session programming » revision programming, design programming, session programme
programming program » programming programmed, programming problem, programming problems
program cases » programs cases, program case, program casper
cases https » atlases https, spaces https, nurses https
1
Published 2008
Table of Contents:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Extending SDP Integrality Gaps to Sherali-Adams with Applications to Quadratic Programming and MaxCutGain...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... for the Assignment Problem -- Integral Boundary Points of Convex Polyhedra -- Outline of an Algorithm for Integer...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
7
Published 2011
Table of Contents:
“... for the SENSORIA Approach: A White Paper -- Introduction to the SENSORIA Case Studies -- UML Extensions for Service...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
9
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th...
Published 2005
Table of Contents:
“...Session 1: Low-Power Processors -- Session 2: Code Optimization for Low-Power -- Session 3: High...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Overhead in Open MPI -- A Case for New MPI Fortran Bindings -- Design Alternatives and Performance Trade...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”View full text
Electronic
eBook
12
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th...
Published 2006
Table of Contents:
“...Session 1 – High-Level Design -- Session 2 – Power Estimation / Modeling -- Session 3 – Memory...”View full text
Electronic
eBook
13
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Published 2007
Table of Contents:
“...Session 1 - High-Level Design (1) -- System-Level Application-Specific NoC Design for Network...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... for Dynamic Reconfiguration in Service-Oriented Architectures -- Integrating Requirements and Design Decisions...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”View full text
Electronic
eBook
16
Table of Contents:
“... the Work Environment Ready -- Getting Ready for the Case Study -- Integrating PHP Into Your Site -- Getting...”
View full text
View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...Session 1: Decentralized and Peer-to-Peer Management -- Botnets for Scalable Management -- Self...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... - Satellite Communications: Multimedia Integration -- Comparative Analysis of Image Compression Algorithms...”View full text
Electronic
eBook