23 papers:
- ASPLOS-2014-OuyangLSHWW #internet #named
- SDF: software-defined flash for web-scale internet storage systems (JO, SL, JS, ZH, YW, YW), pp. 471–484.
- DATE-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.
- DATE-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.
- ICMT-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.
- DATE-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.
- GTTSE-2005-Brand #asf+sdf #ide
- Applications of the Asf+Sdf Meta-Environment (MvdB), pp. 278–296.
- LDTA-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.
- LDTA-2002-Mosses #action semantics #asf+sdf #semantics
- Action Semantics and ASF+SDF: System Demonstration (PDM), pp. 2–8.
- LDTA-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.
- LDTA-2001-LammelW #asf+sdf #ide #syntax
- Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment (RL, GW), pp. 9–33.
- CC-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.
- WRLA-2000-BrandR #asf+sdf #parsing #tool support
- ASF+SDF parsing tools applied to ELAN (MvdB, CR), pp. 138–157.
- ICPR-v3-2000-MullerH #image #invariant #on the
- On the Use of SDF-Type Filters for Distortion Invariant Image Location (NM, BMH), pp. 3530–3533.
- CC-1999-BrandKO #asf+sdf #compilation #memory management
- Compilation and Memory Management for ASF+SDF (MvdB, PK, PAO), pp. 198–213.
- ASF+SDF-1997-BrandHK #asf+sdf #ide #legacy
- Renovation of the ASF+SDF meta-environment: current state of affairs (MvdB, JH, PK), p. 4.
- ASF+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+SDF-1997-Mosses #asf+sdf
- CASL for ASF+SDF users (PDM), p. 12.
- ASF+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+SDF-1995-BrandEGMOP #asf+sdf #program transformation #using
- Program Transformations using ASF+SDF (MvdB, SME, DKAG, HM, MJFP, HRO), pp. 29–52.
- ASF+SDF-1995-HeeringK #asf+sdf
- The Prehistory of ASF+SDF (1980-1984) (JH, PK), pp. 1–4.
- ASF+SDF-1995-Klint #asf+sdf #evolution #ide #implementation
- The Evolution of Implementation Techniques in the ASF+SDF Meta-environment (PK), pp. 5–26.
- ASF+SDF-1995-NaidichD #asf+sdf #automation #induction #proving #specification
- Specifying an Automated Induction Proof Procedure in ASF+SDF (DN, TBD), pp. 233–254.
- ASF+SDF-1995-Vigna #asf+sdf #case study #specification #using
- Specifying Imp(G) Using ASF+SDF: A Case Study (SV), pp. 65–88.