8 papers:
- CGO-2015-ZhangGCCH #named #performance
- HERMES: a fast cross-ISA binary translator with post-optimization (XZ, QG, YC, TC, WH), pp. 246–256.
- SAC-2012-VerheijKFVH #framework #query #ranking
- Querying and ranking news items in the hermes framework (AV, AK, FF, DV, FH), pp. 672–679.
- DAC-2011-ZhuDC #architecture #cpu #gpu #named
- Hermes: an integrated CPU/GPU microarchitecture for IP routing (YZ, YD, YC), pp. 1044–1049.
- SIGMOD-2009-WangPXCSFLYTHS #named #semantics #web
- Hermes: a travel through semantics on the data web (HW, TP, KX, JC, XS, LF, QL, YY, TT, PH, RS), pp. 1135–1138.
- SIGMOD-2008-PelekisFGT #named
- HERMES: aggregative LBS via a trajectory DB engine (NP, EF, NG, YT), pp. 1255–1258.
- SAC-2008-BorsjeLF #named #semantics
- Hermes: a semantic web-based news decision support system (JB, LL, FF), pp. 2415–2420.
- SFM-2005-CorradiniM #middleware #mobile #named
- Hermes: Agent-Based Middleware for Mobile Computing (FC, EM), pp. 234–270.
- CAV-2003-BozgaLP #automation #named #protocol #security #verification
- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols (LB, YL, MP), pp. 219–222.