Rob Vermaas - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged ASF+SDF

NoC-MPSoC Performance Estimation with Synchronous Data Flow (SDF) GraphsKamel Smiri, Abderrazak Jemai. ais2 2011: 406-415 [doi]

SDF Disambiguation Medkit for Programming LanguagesJurgen J. Vinju. Technical Report SEN-1107, 2011. [doi]

Emulating and diagnosing IR-drop by using dynamic SDFKe Peng, Yu Huang, Ruifeng Guo, Wu-Tung Cheng, Mohammad Tehranipoor. aspdac 2010: 511-516 [doi]

An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platformsAlessio Bonfietti, Luca Benini, Michele Lombardi, Michela Milano. date 2010: 897-902 [doi]

ASF: AMD64 Extension for Lock-Free Data Structures and Transactional MemoryJae Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman. micro 2010: 39-50 [doi]

Hybrid SDF-HDF Cluster-Based Fusion Scheme for Cooperative Spectrum Sensing in Cognitive Radio NetworksAyman A. El-Saleh, Mahamod Ismail, Mohd Alaudin Mohd Ali, Israna H. Arka. itiis, 4(6):1023-1041, 2010. [doi]

Loop transformations for interface-based hierarchies IN SDF graphsJonathan Piat, Shuvra S. Bhattacharyya, Mickaël Raulet. asap 2010: 341-344 [doi]

Faster ambiguity detection by grammar filteringBas Basten, Jurgen J. Vinju. LDTA 2010: 5 [doi]

Visualization of the Influence of SDF on the TMA Solution SpaceUlrich Steimel. gi 2009: 2365-2374

Radix r:::k:::FFTs: matricial representation and SDC/SDF pipeline implementationAinhoa Cortés, Igone Vélez, Juan F. Sevillano. tsp, 57(7):2824-2839, 2009. [doi]

Using Metrics for Assessing the Quality of ASF+SDF Model TransformationsMarcel van Amstel, Christian F. J. Lange, Mark G. J. van den Brand. ICMT 2009: 239-248 [doi]

On Combining WS-Policy4MASC and ASF to Support Business-Driven Autonomic Service-Oriented ComputingVladimir Tosic, Yan Liu, Liming Zhu. BPM 2009: 434-439 [doi]

Modified SDF Architecture for Mixed DIF/DIT FFTSeungbeom Lee, Sin-Chong Park. iscas 2007: 2590-2593 [doi]

R2:::2:::SDF FFT Implementation with Coefficient Memory Reduction SchemeHuirae Cho, Myung-Soon Kim, Duk-Bai Kim, Jin Up Kim. vtc 2006: 1-4 [doi]

SDF:::3:::: SDF For FreeSander Stuijk, Marc Geilen, Twan Basten. acsd 2006: 276-278 [doi]

Dynamic code overlay of SDF-modeled programs on low-end embedded systemsHae-woo Park, Kyoungjoo Oh, Soyoung Park, Myoung-min Sim, Soonhoi Ha. date 2006: 945-946 [doi]

A Low Multiplier and Multiplication Costs 256-point FFT Implementation with Simplified Radix-24 SDF ArchitectureChih-Peng Fan, Mau-Shih Lee, Guo-An Su. apccas 2006: 1935-1938 [doi]

Applications of the Asf+SdfMeta-EnvironmentMark G. J. van den Brand. GTTSE 2006: 278-296 [doi]

Generalized Type-Based Disambiguation of Meta Programs with Concrete Object SyntaxMartin Bravenboer, Rob Vermaas, Jurgen J. Vinju, Eelco Visser. GPCE 2005: 157-172 [doi]

Extending SDFN. Pouillard. Technical Report 0407, 2004.

Protecting ASF Movie on VODJihyun Park, Jeong Hyun Kim, Kisong Yoon. trustbus 2004: 242-250 [doi]

CV-SDF - A model for Real-Time Computer Vision ApplicationsDirk Stichling, Bernd Kleinjohann. wacv 2002: 325-329 [doi]

On the Use of SDF-Type Filters for Distortion Parameter EstimationNeil Muller, Ben M. Herbst. pami, 24(11):1521-1528, 2002. [doi]

Action Semantics and ASF+SDF: System DemonstrationPeter D. Mosses. ENTCS, 65(3):2-8, 2002. [doi]

Compiling language definitions: the ASF+SDF compilerMark G. J. van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier. TOPLAS, 24(4):334-368, 2002. [doi]

The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System DemonstrationMark G. J. van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen. ENTCS, 65(3):50-56, 2002. [doi]

ASF: A Practical Simulation-Based Methodology for the Synthesis of Custom Analog CircuitsMichael Krasnicki, Rodney Phelps, James R. Hellums, Mark McClung, Rob A. Rutenbar, L. Richard Carley. iccad 2001: 350-357 [doi]

The ASF+SDF Meta-environment: A Component-Based Language Development EnvironmentMark G. J. van den Brand, Arie van Deursen, Jan Heering, H. A. de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, Joost Visser. CC 2001: 365-370 [doi]

On the Use of SDF-Type Filters for Distortion Invariant Image LocationNeil Muller, Ben M. Herbst. icpr 2000: 3530-3533 [doi]

ASF+SDF parsing tools applied to ELANMark G. J. van den Brand, Christophe Ringeissen. ENTCS, 36:138-157, 2000. [doi]

Compiling Language Definitions: The ASF+SDF CompilerMark G. J. van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier. corr, cs.PL/0007008, 2000. [doi]

Dynamic Response Time Optimization for SDF GraphsDirk Ziegenbein, Jan Uerpmann, Ralph Ernst. iccad 2000: 135-140

Compiling Language Definitions: The ASF%2BSDF CompilerMark G. J. van den Brand, J. Heering, Paul Klint, P. A. Olivier. 1999.

Compilation and Memory Management for ASF+SDFMark G. J. van den Brand, Paul Klint, Pieter A. Olivier. cc 1999: 198-213

Optimizations of List Matching in the ASF+SDF CompilerJurgen J. Vinju. Master's thesis, Universiteit van Amsterdam, nov 1999.

2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997)M. P. A. Sellink, editor, Electronic Workshops in Computing, Springer-Verlag, Berlin, 1997.

Character ClassesEelco Visser. Technical Report P9708, 1997.

A Family of Syntax Definition FormalismsEelco Visser. Technical Report P9706, 1997.

Scannerless Generalized-LR ParsingEelco Visser. Technical Report P9707, 1997.

Syntax Definition for Language PrototypingEelco Visser. PhD thesis, University of Amsterdam, September 1997.

Industrial Applications of ASF+SDFMark G. J. van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen. amast 1996: 9-18

Multi-Level SpecificationsEelco Visser. In Arie van Deursen, Jan Heering, Paul Klint, editors, Language Prototyping. An Algebraic Specification Approach. Volume 5 of AMAST Series in Computing, World Scientific, Singapore, September 1996.

ASF+SDF 1995. A Workshop on Generating Tools from Algebraic SpecificationsMark G. J. van den Brand, Vania Vieira Estrela, editors, Technical Report P9504, Programming Research Group, University of Amsterdam, 1995.

The Asf+Sdf Meta-Environment Documentation Tools for Free!Mark G. J. van den Brand, Eelco Visser. tapsoft 1995: 803-804 [doi]

A Family of Syntax Definition FormalismsEelco Visser. ASF+SDF 1995:

Executing Action Semantic Descriptions using ASF+SDFArie van Deursen, Peter D. Mosses. amast 1994: 413-414

A novel feature extraction method for image recognition based on similar discriminant function (SDF)Yong-Qing Cheng, Ke Liu, Jing-yu Yang. PR, 26(1):115-125, 1993. [doi]

The ASF+SDF Meta-environmentArie van Deursen, T. B. Dinesh, Emma van der Meulen. amast 1994: 411-412

Combinatory Algebraic Specification & Compilation of List MatchingEelco Visser. Master's thesis, Department of Computer Science, University of Amsterdam, Amsterdam, June 1993.

The syntax definition formalism SDF - reference manualJan Heering, P. R. H. Hendriks, Paul Klint, Jan Rekers. SIGPLAN, 24(11):43-75, 1989. [doi]

runs on WebDSL