Sciweavers

10301 search results - page 98 / 2061
» informs 2007
Sort
View
OR
2007
Springer
16 years 14 days ago
Coping with Incomplete Information in Scheduling - Stochastic and Online Models
version of this extended abstract is published as [6].
Nicole Megow
VLSI
2007
Springer
16 years 13 days ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...
WISTP
2007
Springer
16 years 13 days ago
An Information Flow Verifier for Small Embedded Systems
Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-...