Search results for "ASF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Dave Christie, Jae-Woong Chung, Stephan Diestelhorst, Michael Hohmuth, Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, Etienne Rivière	Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack.	EuroSys	2010	DBLP DOI BibTeX RDF	transactional memory
106	Ian Gorton, Yan Liu 0001, Nihar Trivedi	An extensible, lightweight architecture for adaptive J2EE applications.	SEM	2006	DBLP DOI BibTeX RDF	adaptation, software architecture, component, J2EE
88	Rafael H. Bordini, Michael Fisher 0001, Carmen Pardavila, Michael J. Wooldridge	Model checking agentspeak.	AAMAS	2003	DBLP DOI BibTeX RDF	AgentSpeak, BDI logic programming, model checking, spin
79	Vladimir Tosic, Yan Liu 0001, Liming Zhu 0001	On Combining WS-Policy4MASC and ASF to Support Business-Driven Autonomic Service-Oriented Computing.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF
79	Jihyun Park, Jeong-Hyun Kim, Kisong Yoon	Protecting ASF Movie on VOD.	TrustBus	2004	DBLP DOI BibTeX RDF
79	Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier	Compiling language definitions: the ASF+SDF compiler.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	language definition, maximal subterm sharing, Compilation, term rewriting
71	Yinglung Liang, Yanyong Zhang, Hui Xiong 0001, Ramendra K. Sahoo	An Adaptive Semantic Filter for Blue Gene/L Failure Log Analysis.	IPDPS	2007	DBLP DOI BibTeX RDF
66	Jianping Chen, Tiejun Huang 0001	A Robust Feature Extraction Algorithm for Audio Fingerprinting.	PCM	2008	DBLP DOI BibTeX RDF	weighted ASF, Audio Spectrum Flatness, Audio fingerprinting
62	Marcel van Amstel, Christian F. J. Lange, Mark van den Brand	Using Metrics for Assessing the Quality of ASF+SDF Model Transformations.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
62	Mark 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 0001	The ASF+SDF Meta-environment: A Component-Based Language Development Environment.	CC	2001	DBLP DOI BibTeX RDF
53	Christian Liefhold, Moritz Grosse-Wentrup, Klaus Gramann, Martin Buss	Comparison of Adaptive Spatial Filters with Heuristic and Optimized Region of Interest for EEG Based Brain-Computer-Interfaces.	DAGM-Symposium	2007	DBLP DOI BibTeX RDF
53	Mark Po-Hung Lin, Shyh-Chang Lin	Analog Placement Based on Novel Symmetry-Island Formulation.	DAC	2007	DBLP DOI BibTeX RDF
53	Rüdiger Lunde, Claus-Peter Wirth	ASF+ --- eine ASF-aehnliche Spezifikationssprache	CoRR	2009	DBLP BibTeX RDF
44	Mark van den Brand	Applications of the Asf+SdfMeta-Environment.	GTTSE	2005	DBLP DOI BibTeX RDF
35	Cheng-Wu Lin, Jai-Ming Lin, Chun-Po Huang, Soon-Jyh Chang	Performance-driven analog placement considering boundary constraint.	DAC	2010	DBLP DOI BibTeX RDF	analog placement, boundary constraint, symmetry
35	Tsutomu Gomi, Hiroshi Hirano	Clinical Potential of Digital Linear Tomosynthesis Imaging of Total Joint Arthroplasty.	J. Digit. Imaging	2008	DBLP DOI BibTeX RDF	Digital tomosynthesis, total joint arthroplasty
35	Yiheng Zhang, Heang-Ping Chan, Mitchell M. Goodsitt, Andrea Schmitz, Jeffrey W. Eberhard, Bernhard E. H. Claus	Investigation of Different PV Distributions in Digital Breast Tomosynthesis (DBT) Mammography.	Digital Mammography / IWDM	2008	DBLP DOI BibTeX RDF	Digital Breast Tomosynthesis (DBT) Mammography, distributions of projection-view (PV) images, simultaneous algebraic reconstruction technique (SART)
35	Mustafa Sert, Buyurman Baykal, Adnan Yazici	Generating Expressive Summaries for Speech and Musical Audio using Self-Similarity Clues.	ICME	2006	DBLP DOI BibTeX RDF
35	Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Pietro Marmo, Antonio Orazzo	A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems.	EDCC	2005	DBLP DOI BibTeX RDF
35	Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo	A Hybrid Testing Methodology for Railway Control Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
32	Jos C. M. Baeten, Jan A. Bergstra	Design of a Specification Language by Abstract Syntax Engineering.	Algebraic Methods	1989	DBLP DOI BibTeX RDF	& Phrases abstract syntax, module algebra, ASF, specification languages
31	Jeroen Arnoldus, Jeanot Bijpost, Mark van den Brand	Repleo: a syntax-safe template engine.	GPCE	2007	DBLP DOI BibTeX RDF	ASF+SDF, concrete object syntax, repleo, syntax safety, code generators, templates, meta programming
26	Xiran Zhang, Haiyan Liu, Caixia Liu, Haiyang Zhang, Zhiwei Huo	ASF-Conformer: Audio Scoring Conformer with FFC for Speaker Verification in Noisy Environments.	MMM (3)	2024	DBLP DOI BibTeX RDF
26	Xinwei Xue, Jia He, Long Ma 0002, Xiangyu Meng, Wenlin Li, Risheng Liu	ASF-Net: Robust Video Deraining via Temporal Alignment and Online Adaptive Learning.	CoRR	2023	DBLP DOI BibTeX RDF
26	Ming Kang 0002, Chee-Ming Ting, Fung Fung Ting, Raphaël C.-W. Phan	ASF-YOLO: A Novel YOLO Model with Attentional Scale Sequence Fusion for Cell Instance Segmentation.	CoRR	2023	DBLP DOI BibTeX RDF
26	Arya Widyadhana, Shintami Chusnul Hidayati, Dini Adni Navastara, Yeni Anistyasari	ASF-LLRDA: Locality-regularized Linear Regression Discriminant Analysis with Approximately Symmetrical Face Preprocessing for Face Recognition.	APSIPA ASC	2023	DBLP DOI BibTeX RDF
26	Woohyun Kim, Pyo-Woong Son, Sul Gee Park, Sang Hyun Park, Jiwon Seo 0001	First Demonstration of the Korean eLoran Accuracy in a Narrow Waterway Using Improved ASF Maps.	IEEE Trans. Aerosp. Electron. Syst.	2022	DBLP DOI BibTeX RDF
26	Jun Chen 0019, Yuxuan Jiang 0007, Linbo Luo, Wenping Gong	ASF-Net: Adaptive Screening Feature Network for Building Footprint Extraction From Remote-Sensing Images.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
26	Mariam Guizani, Bianca Trinkenreich, Aileen Abril Castro-Guzman, Igor Steinmacher, Marco Aurélio Gerosa, Anita Sarma	Perceptions of the State of D&I and D&I Initiative in the ASF.	CoRR	2022	DBLP BibTeX RDF
26	Elio Cables, F. Moreno, María T. Lamata, F. Gómez	Quantification of the Risk of ASF Appearance Using OWA Operators.	Computational Intelligence Methodologies Applied to Sustainable Development Goals	2022	DBLP DOI BibTeX RDF
26	Kevin Agung Fernanda Rifki, Kartika Fithriasari	Plant Growth Phase Classification Using Deep Neural Network (Case Study of ASF in Poso District, Central Sulawesi Province).	DaSET	2022	DBLP DOI BibTeX RDF
26	Mariam Guizani, Bianca Trinkenreich, Aileen Abril Castro-Guzman, Igor Steinmacher, Marco Aurélio Gerosa, Anita Sarma	Perceptions of the State of D&I and D&I Initiative in the ASF.	ICSE-SEIS	2022	DBLP DOI BibTeX RDF
26	Mohamed Abouhawwash, Kalyanmoy Deb	Reference point based evolutionary multi-objective optimization algorithms with convergence properties using KKTPM and ASF metrics.	J. Heuristics	2021	DBLP DOI BibTeX RDF
26	Pyo-Woong Son, Joon Hyo Rhee, Jaehui Hwang, Jiwon Seo 0001	Universal Kriging for Loran ASF Map Generation.	IEEE Trans. Aerosp. Electron. Syst.	2019	DBLP DOI BibTeX RDF
26	Yunong Zhang, Guanqun Yang, Ruifeng Wang, Liangjie Ming	Predicting Potential Years of Most Costly War Involving USA via ASF Approach.	ICNC-FSKD	2019	DBLP DOI BibTeX RDF
26	Rashid Masood Khan, Mian Muhammad Waseem Iqbal, Muhammad Faisal Amjad, Haider Abbas, Hammad Afzal, Abdul Rauf, Maruf Pasha	Forensic investigation to detect forgeries in ASF files of contemporary IP cameras.	J. Supercomput.	2018	DBLP DOI BibTeX RDF
26	Chengxu Ye, Ruifeng Wang, Mengling Xiao, Zhongxian Xue, Yunong Zhang	Using Different Types of Addition-Subtraction Frequency (ASF) Approach with Different Numbers of Input Variables to Predict Years of Financial Events after Fed Tightening.	ICSAI	2018	DBLP DOI BibTeX RDF
26	Yunong Zhang, Jiatu Wu, Ruifeng Wang, Chengxu Ye, Yingbiao Ling	From Historical Data through ASF Method of Equal-Type Half Traversal to Predict USA Presidential Parties from 2021 to 2041.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2018	DBLP DOI BibTeX RDF
26	Yunong Zhang, Ruifeng Wang, Mengling Xiao, Jinjin Guo, Chengxu Ye	Using Data Till 1996, 2008 and 2017 via Full-Traversal Addition-Subtraction Frequency (ASF) Method with Consistent Analysis to Predict Possible M6.6-or-Above Earthquakes in Sichuan-Yunnan Region of China.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2018	DBLP DOI BibTeX RDF
26	Yunong Zhang, Shuo Yang, Maotai Zou, Chengxu Ye, Yingbiao Ling	Numerical prediction of short-term snowy weather in Guangzhou via addition-subtraction frequency (ASF) algorithm with unequally half traversal.	ICNC-FSKD	2017	DBLP DOI BibTeX RDF
26	Akinori Ihara, Daiki Fujibayashi, Hirohiko Suwa, Raula Gaikovina Kula, Kenichi Matsumoto	Understanding When to Adopt a Library: A Case Study on ASF Projects.	OSS	2017	DBLP DOI BibTeX RDF
26	Peter D. Mosses	Semantics of programming languages: Using Asf+Sdf.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
26	Lili Zhou, Xiaoli Xi, Jinsheng Zhang, Yurong Pu	A New Method for Loran-C ASF Calculation over Irregular Terrain.	IEEE Trans. Aerosp. Electron. Syst.	2013	DBLP DOI BibTeX RDF
26	Lifeng Nai, Hsien-Hsin S. Lee	Reducing False Transactional Conflicts with Speculative Sub-Blocking State - An Empirical Study for ASF Transactional Memory System.	IPDPS Workshops	2013	DBLP DOI BibTeX RDF
26	Yurong Pu, Xiaoli Xi, Hong Zhu	Equivalent Ground Conductivity Inversion in Maritime ASF Correction.	IEICE Trans. Commun.	2012	DBLP DOI BibTeX RDF
26	Gianluca Dini, Marco Tiloca	ASF: An attack simulation framework for wireless sensor networks.	WiMob	2012	DBLP DOI BibTeX RDF
26	Doaa Hassan	Tracking Insecure Information Flows: A Prototype Evaluator in ASF+SDF.	ICISS	2012	DBLP DOI BibTeX RDF
26	Suzana Andova, Mark van den Brand, Luc Engelen	Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models	AMMSE	2011	DBLP DOI BibTeX RDF
26	Olfa Siala, Ahmed Rebai, Faouzi Baklouti, Faiza Fakhfakh	Subtle discrepancies of SF2/ASF ESE sequence motif among human tissues: A computational approach.	Comput. Biol. Chem.	2010	DBLP DOI BibTeX RDF
26	Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman	ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory.	MICRO	2010	DBLP DOI BibTeX RDF
26	Philip L. Utley, Roger W. Albright, Oh-Ig Kwoun, Theresa Huang, Kon Leung	Image quality enhancements to ASF ScanSAR processing.	IGARSS	2003	DBLP DOI BibTeX RDF
26	Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen	The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration.	LDTA@ETAPS	2002	DBLP DOI BibTeX RDF
26	Peter D. Mosses	Action Semantics and ASF+SDF: System Demonstration.	LDTA@ETAPS	2002	DBLP DOI BibTeX RDF
26	Ralf Lämmel, Guido Wachsmuth	Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment.	LDTA@ETAPS	2001	DBLP DOI BibTeX RDF
26	Mark van den Brand, Arie van Deursen, Jan Heering, Hayco de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, Joost Visser 0001	The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment.	LDTA@ETAPS	2001	DBLP DOI BibTeX RDF
26	Michael Krasnicki, Rodney Phelps, James R. Hellums, Mark McClung, Rob A. Rutenbar, L. Richard Carley	ASF: A Practical Simulation-Based Methodology for the Synthesis of Custom Analog Circuits.	ICCAD	2001	DBLP DOI BibTeX RDF
26	Mark van den Brand, Christophe Ringeissen	ASF+SDF parsing tools applied to ELAN.	WRLA	2000	DBLP DOI BibTeX RDF
26	Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier	Compiling Language Definitions: The ASF+SDF Compiler	CoRR	2000	DBLP BibTeX RDF
26	Mark van den Brand, Paul Klint, Pieter A. Olivier	Compilation and Memory Management for ASF+SDF.	CC	1999	DBLP DOI BibTeX RDF
26	Jean-Luc Béchennec	ASF: a teaching and rsearch object-oriented simulation tool for computer architecture design and performance evaluation.	WCAE@ISCA	1998	DBLP DOI BibTeX RDF
26	Mark van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen	Industrial Applications of ASF+SDF.	AMAST	1996	DBLP DOI BibTeX RDF
26	Mark van den Brand, Eelco Visser	The Asf+Sdf Meta-Environment Documentation Tools for Free!	TAPSOFT	1995	DBLP DOI BibTeX RDF
26	Arie van Deursen, T. B. Dinesh, Emma van der Meulen	The ASF+SDF Meta-environment.	AMAST	1993	DBLP BibTeX RDF
26	Arie van Deursen, Peter D. Mosses	Executing Action Semantic Descriptions using ASF+SDF.	AMAST	1993	DBLP BibTeX RDF
18	James R. Cordy	Eating our own dog food: DSLs for generative and transformational engineering.	GPCE	2009	DBLP DOI BibTeX RDF	source transformation systems, domain-specific languages, model driven engineering, generative programming
18	Kevin Adistambha, Christian H. Ritz, Ian S. Burnett	Motion classification using Dynamic Time Warping.	MMSP	2008	DBLP DOI BibTeX RDF
18	María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Pedro Ojeda	A Modular Equational Generalization Algorithm.	LOPSTR	2008	DBLP DOI BibTeX RDF
18	Mustafa Sert, Buyurman Baykal, Adnan Yazici	Structural and Semantic Modeling of Audio for Content-Based Querying and Browsing.	FQAS	2006	DBLP DOI BibTeX RDF
18	Hsin-Chia Fu, Yeong-Yuh Xu, Cheng-Lung Tseng	Generation of multimedia TV news contents for WWW.	WWW	2006	DBLP DOI BibTeX RDF	TV news, information retrieval, content analysis, video OCR
18	Narendranadh Jabisetti, Yugyung Lee	OWL-S Based Autonomic Services for Grid Computing.	ICWS	2005	DBLP DOI BibTeX RDF
18	Caiazza Alessandro, Roberto Di Maio, Fernando Scalabrini, Fabio Poli, Leonardo Impagliazzo, Arturo M. Amendola	A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems.	EDCC	2005	DBLP DOI BibTeX RDF
18	SangHoon Han, Eun-Young Ahn, No-Yoon Kwak	Detection of Multiple Vehicles in Image Sequences for Driving Assistance System.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001, Claude Marché, Xavier Urbain	Proving termination of membership equational programs.	PEPM	2004	DBLP DOI BibTeX RDF	program transformation, termination, term rewriting, membership equational logic
18	Mark van den Brand, H. A. de Jong, Paul Klint, A. Taeke Kooiker	A language development environment for Eclipse.	eTX	2003	DBLP DOI BibTeX RDF
18	Pasquale di Tommaso, Rosaria Esposito, Pietro Marmo, Antonio Orazzo	Hazard Analysis of Complex Distributed Railway Systems.	SRDS	2003	DBLP DOI BibTeX RDF
18	Haiming Chen, Yunmei Dong	Yet another meta-language for programming language processing.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	programming language processing, context-free language, recursive function, meta-language
18	Hayco de Jong, Paul Klint	ToolBus: The Next Generation.	FMCO	2002	DBLP DOI BibTeX RDF
18	Aldo W. Morales, Raj Acharya, Sung-Jea Ko	Morphological pyramids with alternating sequential filters.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
18	D. Talukdar, Raj Acharya	Estimation of fractal dimension using alternating sequential filters.	ICIP	1995	DBLP DOI BibTeX RDF	alternating sequential filters, fractal dimension estimation, morphological transformation, piecewise planar approximation, natural textured images, similarity measure, mathematical morphology, image representation, image representation, texture analysis, fractals, set theory, image texture, image resolution, image resolution, filtering theory, approximation theory, multiresolution representation, synthetic images, 2D image, noise robustness, image processing applications, two dimensional image, surface areas
18	Paul Klint	A Meta-Environment for Generating Programming Environments.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF