Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program generation » program execution
generation https » degeneration https, generation hts, generation helps
function session » functions session, function section, function sensation
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
program generation » program execution
generation https » degeneration https, generation hts, generation helps
function session » functions session, function section, function sensation
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
1
Published 2010
Table of Contents:
“... -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric...”View full text
Electronic
eBook
2
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... for Multiclass Queueing Systems -- Session 8 -- Generating Multiple Solutions for Mixed Integer Programming...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... -- Generating Specialized Rules and Programs for Demand-Driven Analysis -- Non Expansive ?-Bisimulations -- A...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Case Generation for Dynamic Analysis and Measurement -- Session 6: Modeling and Specification...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Environment -- Session 4: Applications 2 -- An FPGA Accelerator for Hash Tree Generation in the Merkle...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Process of Students -- Towards Architecture-Centric Software Generation -- An Architectural Blueprint...”View full text
Electronic
eBook
13
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
14
Published 2005
Table of Contents:
“... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Polynomial Time Complexity -- New Upper Bounds on the Average PTF Density of Boolean Functions -- Session 4A...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...-Order Logic with Automated Parser Generation -- Session 4. Higher-Order Logic -- Extracting Programs...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...: Making Parametric Shape Analysis Competitive -- Session VII: Concurrent Program Verification -- Fast...”View full text
Electronic
eBook