Rekommenderade teman
Rekommenderade teman
Menade du:
integrals computing » integrated computing, interval computing, integration computing
proceedings program » proceedings from
program controls » process controls, program costs
controls https » control https, control http
integrals computing » integrated computing, interval computing, integration computing
proceedings program » proceedings from
program controls » process controls, program costs
controls https » control https, control http
1
Publicerad 2014
Innehållsförteckning:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2007
Innehållsförteckning:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2006
Innehållsförteckning:
“... Location and Control Computation -- Approximate Reachability Computation for Polynomial Systems -- A...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2008
Innehållsförteckning:
“... Systems -- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control -- An Integrated Approach...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2010
Innehållsförteckning:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2014
Innehållsförteckning:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2007
Innehållsförteckning:
“... -- Solving a Stochastic Queueing Control Problem with Constraint Programming -- Constrained Clustering Via...”Hämta fulltext
Elektronisk
E-bok
8
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Publicerad 2010
Innehållsförteckning:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2005
Innehållsförteckning:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2005
Innehållsförteckning:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2006
Innehållsförteckning:
“... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2005
Innehållsförteckning:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2013
Innehållsförteckning:
“... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2005
Innehållsförteckning:
“... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2014
Innehållsförteckning:
“... for Concurrency Control in Computer Aided Design Database -- Performance Study of Combined Artificial Neural...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2008
Innehållsförteckning:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2007
Innehållsförteckning:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2010
Innehållsförteckning:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Hämta fulltext
Elektronisk
E-bok
19
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicerad 2013
Innehållsförteckning:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2007
Innehållsförteckning:
“... Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black...”Hämta fulltext
Elektronisk
E-bok