Search Results - parallel quantitative programmed functionality using https

Search alternatives:
programmed functionality » program functionality , properties functionality , programming functional
quantitative programmed » quantitative proteome
parallel quantitative » parallel qualitative , parallel quantification , appraisal quantitative
functionality using » functionality business , functionality design , functioning using
using https » using http , nursing https , aging https

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Published 2014

Table of Contents: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2015

Table of Contents: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

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

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... in Graph Using SMT for Automatic Clock Routing -- Cutting the Mix -- The Inez Mathematical Programming...”
View full text

Electronic eBook

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Published 2010

Table of Contents: “... and Accurate Algorithms for Covering Semidefinite Programs -- The Quantitative Analysis of User Behavior Online...”
View full text

Electronic eBook

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Published 2014

Table of Contents: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
View full text

Electronic eBook

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”
View full text

Electronic eBook

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

Published 2012

Table of Contents: “... and Value Faults -- An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems -- Use...”
View full text

Electronic eBook

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
View full text

Electronic eBook

Immune Homeostasis Methods and Protocols /

Published 2013

Table of Contents: “...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...”
View full text

Electronic eBook

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

Published 2015

Table of Contents: “... phenomena to analyze popularity of social incidents quantitatively using social networks -- In-game action...”
View full text

Electronic eBook

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi, Viet...

Published 2008

Table of Contents: “..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...”
View full text

Electronic eBook

Plant Fungal Pathogens Methods and Protocols /

Published 2012

Table of Contents: “... -- Targeted Gene Replacement in Fungi Using a Split-Marker Approach -- Massively Parallel Sequencing...”
View full text

Electronic eBook

Narrow Search