by
Yi, Kwangkeun. editor.
Format:
Electronic Resources
Excerpt:
Analysis of Higher-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To
by
Shao, Zhong. editor.
Format:
Electronic Resources
Excerpt:
Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk
View Other Search Results
by
Hoos, Holger H. editor.
Format:
Electronic Resources
Excerpt:
Instances -- Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean
by
Chaudron, Michel R. V. editor.
Format:
Electronic Resources
Excerpt:
Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control
by
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Excerpt:
-- Specification and Proof of High-Level Functional Properties of Bit-Level Programs -- Formal Verification of an
by
Biere, Armin. editor.
Format:
Electronic Resources
Excerpt:
Quantification -- Session 2. Heuristics and Algorithms -- Encoding CNFs to Empower Component Analysis
by
Clarke, Edmund M. editor.
Format:
Electronic Resources
Excerpt:
-- Combining Model Checking and Data-Flow Analysis -- Model Checking Procedural Programs -- Model Checking
by
Ramos, Félix F. editor.
Format:
Electronic Resources
Excerpt:
Allocation) and Its Analysis for HR-WPAN -- Performance Analysis of Two Approaches to Service Discovery in
by
Jesshope, Chris. editor.
Format:
Electronic Resources
Excerpt:
Optimizations -- Design and Analysis of Low Power Image Filters Toward Defect-Resilient Embedded Memories for
by
Guthrie, Forbes.
Format:
Electronic Resources
Excerpt:
Requirements -- Assessing the Environment -- Performing a Gap Analysis -- Assembling the Design -- Documenting
by
Jin, Hai. editor.
Format:
Electronic Resources
Excerpt:
-- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis
Limit Search Results
Narrowed by: