Sciweavers

15777 search results - page 206 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
AMAST
2008
Springer
13 years 10 months ago
Separation Logic Contracts for a Java-Like Language with Fork/Join
Christian Haack, Clément Hurlin
ARCS
2008
Springer
13 years 10 months ago
System Level Simulation of Autonomic SoCs with TAPES
Andreas Lankes, Thomas Wild, Johannes Zeppenfeld
ARCS
2008
Springer
13 years 10 months ago
A Novel Routing Architecture for Field-Programmable Gate-Arrays
Alexander Danilin, Martijn T. Bennebroek, Sergei S...
ARCS
2008
Springer
13 years 10 months ago
Using Organic Computing to Control Bunching Effects
Oliver Ribock, Urban Richter, Hartmut Schmeck