Sciweavers

3255 search results - page 96 / 651
» Combination of Abstractions in the ASTR
Sort
View
ASWEC
2005
IEEE
14 years 2 months ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
BIRTHDAY
2005
Springer
14 years 2 months ago
Graph Transformation with Variables
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
Berthold Hoffmann
GPCE
2005
Springer
14 years 2 months ago
A Versatile Kernel for Multi-language AOP
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
Éric Tanter, Jacques Noyé
ECAI
2004
Springer
14 years 2 months ago
Using the Implication/Realization Model for Measuring Melodic Similarity
Abstract. The concept of melodic similarity has become increasingly relevant in the light of music retrieval and music content processing systems. We propose a new way of measuring...
Maarten Grachten, Josep Lluís Arcos
DATE
2003
IEEE
120views Hardware» more  DATE 2003»
14 years 2 months ago
SystemC-VHDL Co-Simulation and Synthesis in the HW Domain
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
Massimo Bombana, Francesco Bruschi