 | 2012 |
| 8 |  | Seetharami Seelam,
Yanbin Liu,
Parijat Dube,
Megumi Ito,
Deniz Binay,
Michael Dawson,
Pramod Nagaraja,
Graeme Johnson,
Liana Fong,
Michel Hack,
Xiaoqiao Meng,
Yuqing Gao,
Li Zhang:
Experiences in building and scaling an enterprise application on multicore systems.
Concurrency and Computation: Practice and Experience 24(2): 111-123 (2012) |
| 2011 |
| 7 |  | Parijat Dube,
Seetharami Seelam,
Yanbin Liu,
Megumi Ito,
Thomas Ling,
Michel Hack,
Liana Fong,
Graeme Johnson,
Michael Dawson,
Li Zhang,
Yuqing Gao:
A Tool for Scalable Profiling and Tracing of Java and Native Code Interactions.
QEST 2011: 37-46 |
| 2007 |
| 6 |  | Ahmed Sobeih,
Michel Hack,
Zhen Liu,
Li Zhang:
Almost Peer-to-Peer Clock Synchronization.
IPDPS 2007: 1-10 |
| 1999 |
| 5 |  | Paul H. Abbott,
David G. Brush,
Clarence W. Clark III,
Chris J. Crone,
John R. Ehrman,
Graham W. Ewart,
Clark A. Goodrich,
Michel Hack,
John S. Kapernick,
Brian J. Minchau,
William C. Shepard,
Ronald M. Smith Sr.,
Richard Tallman,
Steven Walkowiak,
Akio Watanabe,
W. Romney White:
Architecture and software support in IBM S/390 Parallel Enterprise Servers for IEEE Floating-Point arithmetic.
IBM Journal of Research and Development 43(5): 723-760 (1999) |
| 1998 |
| 4 |  | Frank Eskesen,
Michel Hack,
Arun Iyengar,
Richard P. King,
Nagui Halim:
Software Exploitation of a Fault-Tolerant Computer with a Large Memory.
FTCS 1998: 336-345 |
| 1976 |
| 3 |  | Michel Hack:
The Equality Problem for Vector Addition Systems is Undecidable.
Theor. Comput. Sci. 2(1): 77-95 (1976) |
| 1975 |
| 2 |  | Michel Hack:
Decidability Questions for Petri Nets
Garland Publishing, New York 1975 |
| 1974 |
| 1 |  | Michel Hack:
The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems
SWAT (FOCS) 1974: 156-164 |