Search results for: Marc Daumas
Lecture Notes in Computer Science > Field-Programmable Logic Architectures, Synthesis and Applications > 196-207
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 169-184
Lecture Notes in Computer Science
Innovations in Systems and Software Engineering > 2010 > 6 > 3 > 173-179
Computer Physics Communications > 2008 > 178 > 2 > 135-143
International Journal on Software Tools for Technology Transfer > 2004 > 5 > 2-3 > 237-246
Numerical Algorithms > 2004 > 37 > 1-4 > 45-60
Theoretical Computer Science > 2003 > 291 > 2 > 143-157
Journal of Signal Processing Systems > 2003 > 33 > 1-2 > 7-18
International Journal of Parallel Programming > 2000 > 28 > 1 > 103-131
Reliable Computing > 1997 > 3 > 3 > 219-227