Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the International Conference for High Performance Computing, 2014
Efficient Latch Optimization Using Exclusive Sets.
Proceedings of the 34st Conference on Design Automation, 1997
Latch optimization in circuits generated from high-level descriptions.
Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996
Verifying Synchronous Reactive Systems Programmed in ESTEREL.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996