6 papers:
MoDELS-2015-SongLASDC #architecture #formal method #probability #using #verification- Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract) (SS, YL, MA, JS, JSD, TC), p. 449.
DATE-2010-ChanHBBC #analysis #named #network- PhoenixSim: A simulator for physical-layer analysis of chip-scale photonic interconnection networks (JC, GH, AB, KB, LPC), pp. 691–696.
PPoPP-2003-TauraKEY #named #parallel #programming- Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources (KT, KK, TE, AY), pp. 216–229.
SIGMOD-1999-BargaL #named #robust- Phoenix: Making Applications Robust (RSB, DBL), pp. 562–564.
DAC-1978-Roder #architecture- Phoenix architecture (JR), p. 232.
- DAC-1978-Rosene #bibliography #perspective
- Phoenix system overview (AFR), p. 231.
