by
Echahed, Rachid. editor.
Format:
Electronic Resources
Excerpt:
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as
by
Mazzara, Manuel. editor.
Format:
Electronic Resources
Excerpt:
2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected
View Other Search Results
by
Stepney, Susan. editor. (orcid)0000-0003-3146-5401
Format:
Electronic Resources
Excerpt:
Memory management (Computer scie.
by
Butterfield, Andrew. editor.
Format:
Electronic Resources
Excerpt:
Composable Memory Transactions in Concurrent Haskell -- Polytypic Syntax Tree Operations -- Implementing a
by
Hermenegildo, Manuel V. editor.
Format:
Electronic Resources
Excerpt:
Memory Usage in the BEAM -- Solving Constraints on Sets of Spatial Objects -- Discovery of Minimal
by
Krishnamurthi, Shriram. editor.
Format:
Electronic Resources
Excerpt:
Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve
by
Yi, Kwangkeun. editor.
Format:
Electronic Resources
Excerpt:
Control Dependence -- Memory Leak Analysis by Contradiction -- Path-Sensitive Dataflow Analysis with
8.
by
Hankin, Chris. editor.
Format:
Electronic Resources
Excerpt:
Programs with Application to Termination Analysis -- Memory Space Conscious Loop Iteration Duplication for
by
Casimiro, António. editor. (orcid)0000-0002-5522-5739
Format:
Electronic Resources
Excerpt:
Memory Management in Ada and SPARK -- Safe Non-Blocking Synchronization in Ada2x -- Handling Implicit
by
Mossakowski, Till. editor.
Format:
Electronic Resources
Excerpt:
in Memory -- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets -- Free Modal
by
Seidl, Helmut. editor.
Format:
Electronic Resources
Excerpt:
-- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi Module Checking
by
Margenstern, Maurice. editor.
Format:
Electronic Resources
Excerpt:
Memory -- Universal Families of Reversible P Systems -- Solving 3CNF-SAT and HPP in Linear Time Using WWW
Limit Search Results
Narrowed by: