Bas Cornelissen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged 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]

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]

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]

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]

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]

SDF:::3:::: SDF For FreeSander Stuijk, Marc Geilen, Twan Basten. acsd 2006: 276-278 [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]

TIDE: A Generic Debugging Framework - Tool DemonstrationMark G. J. van den Brand, Bas Cornelissen, Pieter A. Olivier, Jurgen J. Vinju. ENTCS, 141(4):161-165, 2005. [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]

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.

A core language for rewritingEelco Visser, Zine-El-Abidine Benaissa. ENTCS, 15:422-441, 1998. [doi]

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