Code aware resource management
- 期刊名称Formal Methods in System Design
- 作者Krishnendu Chatterjee,Luca de Alfaro,Marco Faella…
- 卷第42卷
- 期第2期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小1130.35KB
- 发表时间2013-04
- DOI10.1007/s10703-012-0170-4
- 页码146-174
Introduction to philosophical problems about lifeMark A. Bedau · 2012
Weak EmergenceMark A. Bedau · 1997
Interdisciplinary Interconnections in Synthetic BiologyKrohs, Ulrich; Bedau, Mark A. · Biological Theory · 2013
Policy-Making and Systemic ComplexityBedau, Mark A. · Hastings Center Report · 2014
Note from the EditorBedau, Mark A. · Artificial Life · 2005
Four Puzzles About LifeBedau, Mark A. · Artificial Life · 1998
Is <i>Echo</i> a Complex Adaptive System?Smith, Richard M.; Bedau, Mark A. · Evolutionary Computation · 2000
Philosophy of Biology || ARTIFICIAL LIFEBedau, Mark A. · 2007
JUMPING FINITE AUTOMATAMEDUNA, ALEXANDER; ZEMEK, PETR · International Journal of Foundations of Computer Science · 2012
QUANTUM OCTAL GAMESGRAVIER, SYLVAIN; JORRAND, PHILIPPE; MHALLA, MEHDI; PAYAN, CHARLES · International Journal of Foundations of Computer Science · 2006
EQUATIONAL DESCRIPTIONS OF LANGUAGESPIN, JEAN-ÉRIC · International Journal of Foundations of Computer Science · 2012
APPROXIMATE BLOCK SORTINGMAHAJAN, MEENA; RAMA, RAGHAVAN; RAMAN, VENKATESH; VIJAYKUMAR, S. · International Journal of Foundations of Computer Science · 2006
IN MEMORIAM CHANDRA KINTALAKAPPES, MARTIN; MALCHER, ANDREAS; WOTSCHKE, DETLEF · International Journal of Foundations of Computer Science · 2012
PREFACEMOREIRA, NELMA; REIS, ROGÉRIO · International Journal of Foundations of Computer Science · 2013
THE VIRTUAL SUFFIX TREELIN, JIE; JIANG, YUE; ADJEROH, DON · International Journal of Foundations of Computer Science · 2009
REASONING ABOUT TRANSFINITE SEQUENCESDEMRI, STÉPHANE; NOWAK, DAVID · International Journal of Foundations of Computer Science · 2007