EnerJ
- 4 June 2011
- conference paper
- 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 EndorsementLecture Notes in Computer Science, 2010
- Reasoning about Control Flow in the Presence of Transient FaultsLecture Notes in Computer Science, 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 LaptopLecture Notes in Computer Science, 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