EnerJ
Top Cited Papers
- 4 June 2011
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 46 (6) , 164-174
- https://doi.org/10.1145/1993498.1993518
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- A Semantic Framework for Declassification and EndorsementPublished by Springer Nature ,2010
- Reasoning about Control Flow in the Presence of Transient FaultsPublished by Springer Nature ,2008
- Fault-tolerant typed assembly languagePublished by Association for Computing Machinery (ACM) ,2007
- Power provisioning for a warehouse-sized computerPublished by Association for Computing Machinery (ACM) ,2007
- Strict bidirectional type checkingPublished by Association for Computing Machinery (ACM) ,2005
- Power Consumption Breakdown on a Modern LaptopPublished by Springer Nature ,2005
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Microprocessor pipeline energy analysisPublished by Association for Computing Machinery (ACM) ,2003
- Featherweight JavaACM Transactions on Programming Languages and Systems, 2001
- JFlowPublished by Association for Computing Machinery (ACM) ,1999