BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
asf (18)
environ (12)
meta (8)
system (4)
use (4)

Stem sdf$ (all stems)

23 papers:

ASPLOSASPLOS-2014-OuyangLSHWW #internet #named
SDF: software-defined flash for web-scale internet storage systems (JO, SL, JS, ZH, YW, YW), pp. 471–484.
DATEDATE-2012-YangGBSC #game studies #graph #policy #resource management
Playing games with scenario- and resource-aware SDF graphs through policy iteration (YY, MG, TB, SS, HC), pp. 194–199.
DATEDATE-2010-BonfiettiBLM #approach #manycore #performance #scheduling
An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms (AB, LB, ML, MM), pp. 897–902.
ICMTICMT-2009-AmstelLB #asf+sdf #metric #model transformation #quality #using
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations (MvA, CFJL, MvdB), pp. 239–248.
DATEDATE-2006-ParkOPSH #embedded #source code
Dynamic code overlay of SDF-modeled programs on low-end embedded systems (HwP, KO, SP, MmS, SH), pp. 945–946.
GTTSEGTTSE-2005-Brand #asf+sdf #ide
Applications of the Asf+Sdf Meta-Environment (MvdB), pp. 278–296.
LDTALDTA-2002-BrandMR #asf+sdf #logic
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology — System Demonstration (MvdB, PEM, CR), pp. 50–56.
LDTALDTA-2002-Mosses #action semantics #asf+sdf #semantics
Action Semantics and ASF+SDF: System Demonstration (PDM), pp. 2–8.
LDTALDTA-2001-BrandDHJJKKMOSVVV #asf+sdf #component #development #ide
The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment (MvdB, AvD, JH, HAdJ, MdJ, TK, PK, LM, PAO, JS, JJV, EV, JV), pp. 3–8.
LDTALDTA-2001-LammelW #asf+sdf #ide #syntax
Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment (RL, GW), pp. 9–33.
CCCC-2001-BrandDHJJKKMOSVVV #asf+sdf #component #development #ide
The ASF+SDF Meta-environment: A Component-Based Language Development Environment (MvdB, AvD, JH, HAdJ, MdJ, TK, PK, LM, PAO, JS, JJV, EV, JV), pp. 365–370.
WRLAWRLA-2000-BrandR #asf+sdf #parsing #tool support
ASF+SDF parsing tools applied to ELAN (MvdB, CR), pp. 138–157.
ICPRICPR-v3-2000-MullerH #image #invariant #on the
On the Use of SDF-Type Filters for Distortion Invariant Image Location (NM, BMH), pp. 3530–3533.
CCCC-1999-BrandKO #asf+sdf #compilation #memory management
Compilation and Memory Management for ASF+SDF (MvdB, PK, PAO), pp. 198–213.
ASF+SDFASF+SDF-1997-BrandHK #asf+sdf #ide #legacy
Renovation of the ASF+SDF meta-environment: current state of affairs (MvdB, JH, PK), p. 4.
ASF+SDFASF+SDF-1997-BrandKMO #asf+sdf #ide #implementation #prototype
Implementation of a prototype for the new ASF+SDF meta-environment (MvdB, TK, LM, PO), p. 5.
ASF+SDFASF+SDF-1997-Mosses #asf+sdf
CASL for ASF+SDF users (PDM), p. 12.
ASF+SDFASF+SDF-1995-Brand #asf+sdf #ide #past present future #pretty-printing
Pretty printing in the ASF+SDF Meta-environment: Past, Present, and Future (MvdB), pp. 155–174.
ASF+SDFASF+SDF-1995-BrandEGMOP #asf+sdf #program transformation #using
Program Transformations using ASF+SDF (MvdB, SME, DKAG, HM, MJFP, HRO), pp. 29–52.
ASF+SDFASF+SDF-1995-HeeringK #asf+sdf
The Prehistory of ASF+SDF (1980-1984) (JH, PK), pp. 1–4.
ASF+SDFASF+SDF-1995-Klint #asf+sdf #evolution #ide #implementation
The Evolution of Implementation Techniques in the ASF+SDF Meta-environment (PK), pp. 5–26.
ASF+SDFASF+SDF-1995-NaidichD #asf+sdf #automation #induction #proving #specification
Specifying an Automated Induction Proof Procedure in ASF+SDF (DN, TBD), pp. 233–254.
ASF+SDFASF+SDF-1995-Vigna #asf+sdf #case study #specification #using
Specifying Imp(G) Using ASF+SDF: A Case Study (SV), pp. 65–88.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.