Statistics on Graph Reduction of SASL Programs

Software - Practice and Experience - United Kingdom
doi 10.1002/spe.4380180305
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Wiley

Related search

Hoare-Style Verification of Graph Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Anonymous SASL Mechanism

1997English

Review on Graph Learning for Dimensionality Reduction of Hyperspectral Image

Geo-Spatial Information Science
DevelopmentPlanningComputers in Earth SciencesGeography
2020English

Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Dependence Flow Graph for Analysis of Aspect- Oriented Programs

International Journal of Software Engineering & Applications
2014English

Economic Efficiency of CO2 Reduction Programs

Climate Research
Environmental ChemistryAtmospheric ScienceEnvironmental Science
1994English

The SecurID(r) SASL Mechanism

2000English

Reducing Memory Requirements of Stream Programs by Graph Transformations

2010English

Orca Reduction and ContrAction Graph Clustering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy