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

13 years 11 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

13 years 11 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

13 years 11 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

13 years 11 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

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers