Search Sciweavers | Sciweavers

3771 search results - page 35 / 755

» Subobject Transformation Systems

click to vote

ICCAD
1992
IEEE

91views Hardware» more ICCAD 1992»

HYPER-LP: a system for power minimization using architectural transformations

15 years 3 months ago

Download bwrc.eecs.berkeley.edu

Anantha Chandrakasan, Miodrag Potkonjak, Jan M. Ra...

claim paper

Read More »

click to vote

FDL
2004
IEEE

133views Natural Language Processing» more FDL 2004»

Metamodels and MDA Transformations for Embedded Systems

15 years 3 months ago

Download www2.lifl.fr

Lossan Bonde, Cédric Dumoulin, Jean-Luc Dek...

claim paper

Read More »

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 3 months ago

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

click to vote

ISSS
1995
IEEE

68views Hardware» more ISSS 1995»

Procedure exlining: a transformation for improved system and behavioral synthesis

15 years 3 months ago

Download www.cs.ucr.edu

Frank Vahid

claim paper

Read More »

click to vote

DAGSTUHL
2004

123views Software Engineering» more DAGSTUHL 2004»

04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers