Sciweavers

15254 search results - page 182 / 3051
» A k
Sort
View
FM
2001
Springer
89views Formal Methods» more  FM 2001»
15 years 11 months ago
Test-Case Calculation through Abstraction
Bernhard K. Aichernig
FPL
2001
Springer
78views Hardware» more  FPL 2001»
15 years 11 months ago
Run-Time Performance Optimization of an FPGA-Based Deduction Engine for SAT Solvers
Andreas Dandalis, Viktor K. Prasanna, Bharani Thir...
JSAI
2001
Springer
15 years 11 months ago
Internet, Discourses, and Democracy
Rolf Lührs, Thomas Malsch, K. Voss