Sciweavers

15777 search results - page 193 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
CODES
2000
IEEE
15 years 6 months ago
A generic tool set for application specific processor architectures
Frank A. Engel, Johannes Nührenberg, Gerhard ...
FOSSACS
1998
Springer
15 years 6 months ago
A Cook's Tour of Equational Axiomatizations for Prefix Iteration
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
FOSSACS
2000
Springer
15 years 6 months ago
Hierarchical Graph Transformation
Frank Drewes, Berthold Hoffmann, Detlef Plump
FSTTCS
2000
Springer
15 years 6 months ago
Frequency Assignment in Mobile Phone Systems
Martin Grötschel
ICFEM
2000
Springer
15 years 6 months ago
Maximally Abstract Retrenchments
Richard Banach