Sciweavers

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