Sciweavers

958 search results - page 90 / 192
» Model Transformation Languages and Their Implementation by B...
Sort
View
FDL
2005
IEEE
15 years 7 months ago
Meta Modelling of Embedded Systems using Active Databases
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
Dieter Monjau, Mathias Sporer
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 6 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
PEPM
2009
ACM
15 years 10 months ago
Program interpolation
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
Andrew Moss, Dan Page
TIP
1998
103views more  TIP 1998»
15 years 1 months ago
Technique for fractal image compression using genetic algorithm
—A new method for fractal image compression is proposed using genetic algorithm (GA) with elitist model. The self transformability property of images is assumed and exploited in ...
Suman K. Mitra, C. A. Murthy, Malay Kumar Kundu
COSIT
1995
Springer
111views GIS» more  COSIT 1995»
15 years 5 months ago
Range Queries Involving Spatial Relations: A Performance Analysis
: Spatial relations are becoming an important aspect of spatial access methods because of the increasing interest on qualitative spatial information processing. In this paper we sh...
Yannis Theodoridis, Dimitris Papadias