Sciweavers

296 search results - page 4 / 60
» A Rewriting Framework for Rule-Based Programming Dynamic App...
Sort
View
CSMR
1998
IEEE
13 years 11 months ago
The Extract-Transform-Rewrite Cycle. A Step towards MetaCARE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...
Jürgen Ebert, Bernt Kullbach, Andreas Panse
ICCS
2009
Springer
13 years 4 months ago
Dynamic Software Updates for Accelerating Scientific Discovery
Distributed parallel applications often run for hours or even days before arriving to a result. In the case of such long-running programs, the initial requirements could change aft...
Dong Kwan Kim, Myoungkyu Song, Eli Tilevich, Calvi...
SBCCI
2003
ACM
135views VLSI» more  SBCCI 2003»
14 years 8 days ago
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...
ICTAC
2005
Springer
14 years 15 days ago
A Rewriting Logic Sampler
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
José Meseguer
ERSHOV
2006
Springer
13 years 10 months ago
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu K...