Sciweavers

15811 search results - page 218 / 3163
» Search-based software engineering
Sort
View
AMAST
2008
Springer
15 years 8 months ago
Separation Logic Contracts for a Java-Like Language with Fork/Join
Christian Haack, Clément Hurlin
ARCS
2008
Springer
15 years 8 months ago
System Level Simulation of Autonomic SoCs with TAPES
Andreas Lankes, Thomas Wild, Johannes Zeppenfeld
ARCS
2008
Springer
15 years 8 months ago
A Novel Routing Architecture for Field-Programmable Gate-Arrays
Alexander Danilin, Martijn T. Bennebroek, Sergei S...
ARCS
2008
Springer
15 years 8 months ago
Using Organic Computing to Control Bunching Effects
Oliver Ribock, Urban Richter, Hartmut Schmeck