Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program talks » program talos, program task, program teks
talks program » talk program
program https » programs https, program has, program help
program talks » program talos, program task, program teks
talks program » talk program
program https » programs https, program has, program help
1
Published 2013
Table of Contents:
“... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”View full text
Electronic
eBook
2
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”View full text
Electronic
eBook
3
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... for Intuitionistic Propositional Logic -- Invited Talk -- Model Checking – My 27-Year Quest to Overcome the State...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Invited Talks -- From Inductive Logic Programming to Relational Data Mining -- Answer Set...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“...-Lite -- Verification of Golog Programs over Description Logic Actions -- Invited Talk 3...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“...Invited Talks -- Witness Runs for Counter Machines (Abstract) -- On the Duality of Proofs...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Invited Talks -- Policy Monitoring in First-Order Temporal Logic -- Retrofitting Legacy Code...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...Keynote Talk I -- The Next Chapter in Networking Research: Evolutionary or Revolutionary...”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 2008
Table of Contents:
“...: Relevance in Data Mining -- Keynote Talks -- Utility-Based Data-Gathering in Wireless Sensor Networks...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... of Tiling Arrays Using a Shortest Path Approach -- Efficient and Accurate Construction of Genetic Linkage...”View full text
Electronic
eBook