Search Sciweavers | Sciweavers

367 search results - page 15 / 74

» A Rewriting Logic Sampler

click to vote

FPL
2005
Springer

96views Hardware» more FPL 2005»

FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations

14 years 1 months ago

Download helios.informatik.uni-kl.de

Carlos Morra, Jürgen Becker, Mauricio Ayala-R...

claim paper

Read More »

click to vote

SBCCI
2003
ACM

135views VLSI» more SBCCI 2003»

Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic

14 years 1 months ago

Download www.mat.unb.br

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,...

claim paper

Read More »

click to vote

LOPSTR
2009
Springer

225views Automated Reasoning» more LOPSTR 2009»

Defining Datalog in Rewriting Logic

14 years 17 days ago

Download users.dsic.upv.es

María Alpuente, Marco A. Feliú, Chri...

claim paper

Read More »

click to vote

DCAI
2008

95views Distributed And Parallel Com...» more DCAI 2008»

Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude

13 years 9 months ago

Download maude.sip.ucm.es

Gustavo Santos-García, Miguel Palomino, Alb...

claim paper

Read More »

click to vote

CORR
2010
Springer

134views Education» more CORR 2010»

Abstract Certification of Global Non-Interference in Rewriting Logic

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers