2015
Volume 11, Number 3
Article 25
(19 pages)
Article 26
(19 pages)
E. Oberortner
S. Bhatia
E. Lindgren
D. Densmore
A Rule-Based Design Specification Language for Synthetic Biology
H. Huang
D. Densmore
Fluigi: Microfluidic Device Synthesis for Synthetic Biology
RIMEP2: Evolutionary Design of Reversible Digital Circuits
Article 28
(10 pages)
M. Houshmand
M. S. Zamani
M. Sedighi
M. Arabzadeh
Decomposition of Diagonal Hermitian Quantum Gates Using
Multiple-Controlled Pauli Z Gates
Article 29
(19 pages)
Z. Li
H. Chen
X. Song
M. Perkowski
A Synthesis Algorithm for 4-Bit Reversible Logic Circuits
with Minimum Quantum Cost
Article 30
(22 pages)
B. Sen
M. Dutta
S. Some
B. K. Sikdar
Realizing Reversible Computing in QCA Framework Resulting
Efficient Design of Testable ALU
Article 31
(20 pages)
M. M. Rahman
G. W. Dueck
J. D. Horton
An Algorithm for Quantum Template Matching
Emerging Technologies
in Computing Systems
ACM Journal on Emerging Technologies in Computing Systems
REGULAR PAPERS
Article 27
F. Z. Hadjam
(23 pages)
C. Moraga
ACM Journal on
SPECIAL ISSUE ON COMPUTATIONAL SYNTHETIC BIOLOGY
Vol. 11 No. 3 2015
Article 20
(5 pages)
C. J. Myers
H. Sauro
A. Wipat
Introduction
Article 21
(22 pages)
T. L. Deans
Parallel Networks: Synthetic Biology
and Artificial Intelligence
Article 22
(19 pages)
G. Misirli
J. Hallinan
A. Wipat
Composable Modular Models for Synthetic Biology
Article 23
(21 pages)
C. Madsen
Z. Zhang
N. Roehner
C. Winstead
C. J. Myers
Stochastic Model Checking of Genetic Circuits
Article 24
(20 pages)
H. Fellermann
M. Hadorn
R. M. Fchslin
N. Krasnogor
Formalizing Modularization and Data Hiding in Synthetic Biology
continued on back cover
Articles 20-31
2015
Volume 11, Number 3
Article 25
(19 pages)
Article 26
(19 pages)
E. Oberortner
S. Bhatia
E. Lindgren
D. Densmore
A Rule-Based Design Specification Language for Synthetic Biology
H. Huang
D. Densmore
Fluigi: Microfluidic Device Synthesis for Synthetic Biology
RIMEP2: Evolutionary Design of Reversible Digital Circuits
Article 28
(10 pages)
M. Houshmand
M. S. Zamani
M. Sedighi
M. Arabzadeh
Decomposition of Diagonal Hermitian Quantum Gates Using
Multiple-Controlled Pauli Z Gates
Article 29
(19 pages)
Z. Li
H. Chen
X. Song
M. Perkowski
A Synthesis Algorithm for 4-Bit Reversible Logic Circuits
with Minimum Quantum Cost
Article 30
(22 pages)
B. Sen
M. Dutta
S. Some
B. K. Sikdar
Realizing Reversible Computing in QCA Framework Resulting
Efficient Design of Testable ALU
Article 31
(20 pages)
M. M. Rahman
G. W. Dueck
J. D. Horton
An Algorithm for Quantum Template Matching
Emerging Technologies
in Computing Systems
ACM Journal on Emerging Technologies in Computing Systems
REGULAR PAPERS
Article 27
F. Z. Hadjam
(23 pages)
C. Moraga
ACM Journal on
SPECIAL ISSUE ON COMPUTATIONAL SYNTHETIC BIOLOGY
Vol. 11 No. 3 2015
Article 20
(5 pages)
C. J. Myers
H. Sauro
A. Wipat
Introduction
Article 21
(22 pages)
T. L. Deans
Parallel Networks: Synthetic Biology
and Artificial Intelligence
Article 22
(19 pages)
G. Misirli
J. Hallinan
A. Wipat
Composable Modular Models for Synthetic Biology
Article 23
(21 pages)
C. Madsen
Z. Zhang
N. Roehner
C. Winstead
C. J. Myers
Stochastic Model Checking of Genetic Circuits
Article 24
(20 pages)
H. Fellermann
M. Hadorn
R. M. Fchslin
N. Krasnogor
Formalizing Modularization and Data Hiding in Synthetic Biology
continued on back cover
Articles 20-31
ACM Journal on
Emerging Technologies
in Computing Systems
ACM
2 Penn Plaza, Suite 701
New York, NY 10121-0701
Tel.: (212) 869-7440
Fax: (212) 869-0481
Home Page: [Link]
[Link]
Editor-in-Chief
Krishnendu Chakrabarty
Duke University, USA / [Link]
Associate Editors
Sanjukta Bhanja
University of South Florida, USA / [Link]
Swarup Bhunia
Case Western Reserve University, USA / [Link]
Yiran Chen
University of Pittsburgh, USA /
[Link]
Rolf Drechsler
University of Bremen, Germany /
[Link]
Carlotta Guiducci
Ecole Polytechnique Fdrale de Lausanne (EPFL), Switzerland /
[Link]
Tsung-Yi Ho
National Chiao Tung University, Taiwan
Ramesh Karri
Polytechnic University of New York University, USA / [Link]
Rodney Van Meter
Keio University, Japan / [Link]
Steven Nowick
Columbia University, USA / [Link]
Partha Pande
Washington State University / [Link]
Bipul Paul
GlobalFoundries, USA / email: [Link]@[Link]
Mehdi Tahoori
Karlsruhe Institute of Technology (KIT), Germany /
[Link]
Yuan Xie
Pennsylvania State University, USA / [Link]
Guide to Manuscript Submission
Submission to the ACM Transactions on Emerging Technologies in Computing Systems is done electronically
through [Link] Once you are at that site, you can create an account and password
with which you can enter the ACM Manuscript Central manuscript review tracking system. From a drop-down
list of journals, choose ACM Transactions on Emerging Technologies in Computing Systems and proceed to the
Author Center to submit your manuscript and your accompanying files.
You will be asked to create an abstract that will be used throughout the system as a synopsis of your paper. You
will also be asked to classify your submission using the ACM Computing Classification System through a link provided at the Author Center. For completeness, please select at least one primary-level classification followed by
two secondary-level classifications. To make the process easier, you may cut and paste from the list. Remember,
you, the author, know best which area and sub-areas are covered by your paper; in addition to clarifying the area
where your paper belongs, classification often helps in quickly identifying suitable reviewers for your paper. So
it is important that you provide as thorough a classification of your paper as possible.
The ACM Production Department prefers that your manuscript be prepared in either LaTeX or Ms Word format.
Style files for manuscript preparation can be obtained at the following location: [Link]
publications/submissions. For editorial review, the manuscript should be submitted as a PDF or Postscript file.
Accompanying material can be in any number of text or image formats, as well as software/documentation
bundles in zip or tar-gzipped formats.
Questions regarding editorial review process should be directed to the Editor-in-Chief. Questions regarding the postacceptance production process should be addressed to the Journal Manager, Laura Lander, at lander@[Link].
Subscription, Single Copy, and Membership Information.
Send orders to:
ACM Member Services Dept.
General Post Office
PO Box 30777
New York, NY 10087-0777
For information, contact:
Information Director
Theocharis (Theo) Theocharides University of Cyprus, Cyprus / [Link]
Journal Administrator
Rhonda Adams
ACM Journal on Emerging Technologies in Computing Systems
Duke University, USA / email: jetc-administrator@[Link] / [Link]
Headquarters Journals Staff
Laura Lander
Journal Manager
Irma Strolia
Editorial Assistant
Media Content Marketing
Production
Mail:
ACM Member Services Dept.
2 Penn Plaza, Suite 701
New York, NY 10121-0701
Phone: +1-212-626-0500
Fax:
+1-212-944-1318
Email:
acmhelp@[Link]
Catalog: [Link]
Subscription rates for the ACM Journal on Emerging Technologies in Computing Systems are $46 per year for ACM
members, $41 for students, and $170 for nonmembers. Single copies are $18 each for ACM members and $40
for nonmembers. Your subscription expiration date is coded in four digits at the top of your mailing label; the
first two digits show the year, the last two show the month of expiration.
The ACM Journal on Emerging Technologies in Computing Systems (JETC) (ISSN: 1550-4832) is published quarterly in Spring, Summer,
Fall, and Winter by the Association for Computing Machinery (ACM), 2 Penn Plaza, Suite 701, New York, NY 10121-0701. Summer 2015.
Periodicals class postage paid at New York, NY 10001, and at additional mailing offices. Printed in the U.S.A. POSTMASTER: Send address
changes to ACM Journal on Emerging Technologies in Computer Science, ACM, 2 Penn Plaza, Suite 701, New York, NY 10121-0701.
Copyright 2015 by the Association for Computing Machinery (ACM). Permission to make digital or hard copies of part or all
of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or
commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of
this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish,
to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permission to republish
from: Publications Department, ACM, Inc. Fax +1
212-869-0481 or email permissions@[Link].
For other copying of articles that carry a code at
the bottom of the first or last page or screen display, copying is permitted provided that the percopy fee indicated in the code is paid through
the Copyright Clearance Center, 222 Rosewood
Drive, Danvers, MA 01923.
About ACM. ACM is the worlds largest educational and scientific computing society, uniting educators,
researchers and professionals to inspire dialogue, share resources and address the fields challenges. ACM strengthens the computing professions collective voice through strong leadership, promotion of the highest standards,
and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking.
Visit ACMs Website: [Link]
Change of Address Notification. To notify ACM of a change of address, use the addresses above or send an
email to coa@[Link].
Please allow 68 weeks for new membership or change of name and address to become effective. Send your
old label with your new address notification. To avoid interruption of service, notify your local post office before
change of residence. For a fee, the post office will forward 2nd- and 3rd-class periodicals.
ACM Journal on
Emerging Technologies
in Computing Systems
ACM
2 Penn Plaza, Suite 701
New York, NY 10121-0701
Tel.: (212) 869-7440
Fax: (212) 869-0481
Home Page: [Link]
[Link]
Editor-in-Chief
Krishnendu Chakrabarty
Duke University, USA / [Link]
Associate Editors
Sanjukta Bhanja
University of South Florida, USA / [Link]
Swarup Bhunia
Case Western Reserve University, USA / [Link]
Yiran Chen
University of Pittsburgh, USA /
[Link]
Rolf Drechsler
University of Bremen, Germany /
[Link]
Carlotta Guiducci
Ecole Polytechnique Fdrale de Lausanne (EPFL), Switzerland /
[Link]
Tsung-Yi Ho
National Chiao Tung University, Taiwan
Ramesh Karri
Polytechnic University of New York University, USA / [Link]
Rodney Van Meter
Keio University, Japan / [Link]
Steven Nowick
Columbia University, USA / [Link]
Partha Pande
Washington State University / [Link]
Bipul Paul
GlobalFoundries, USA / email: [Link]@[Link]
Mehdi Tahoori
Karlsruhe Institute of Technology (KIT), Germany /
[Link]
Yuan Xie
Pennsylvania State University, USA / [Link]
Guide to Manuscript Submission
Submission to the ACM Transactions on Emerging Technologies in Computing Systems is done electronically
through [Link] Once you are at that site, you can create an account and password
with which you can enter the ACM Manuscript Central manuscript review tracking system. From a drop-down
list of journals, choose ACM Transactions on Emerging Technologies in Computing Systems and proceed to the
Author Center to submit your manuscript and your accompanying files.
You will be asked to create an abstract that will be used throughout the system as a synopsis of your paper. You
will also be asked to classify your submission using the ACM Computing Classification System through a link provided at the Author Center. For completeness, please select at least one primary-level classification followed by
two secondary-level classifications. To make the process easier, you may cut and paste from the list. Remember,
you, the author, know best which area and sub-areas are covered by your paper; in addition to clarifying the area
where your paper belongs, classification often helps in quickly identifying suitable reviewers for your paper. So
it is important that you provide as thorough a classification of your paper as possible.
The ACM Production Department prefers that your manuscript be prepared in either LaTeX or Ms Word format.
Style files for manuscript preparation can be obtained at the following location: [Link]
publications/submissions. For editorial review, the manuscript should be submitted as a PDF or Postscript file.
Accompanying material can be in any number of text or image formats, as well as software/documentation
bundles in zip or tar-gzipped formats.
Questions regarding editorial review process should be directed to the Editor-in-Chief. Questions regarding the postacceptance production process should be addressed to the Journal Manager, Laura Lander, at lander@[Link].
Subscription, Single Copy, and Membership Information.
Send orders to:
ACM Member Services Dept.
General Post Office
PO Box 30777
New York, NY 10087-0777
For information, contact:
Information Director
Theocharis (Theo) Theocharides University of Cyprus, Cyprus / [Link]
Journal Administrator
Rhonda Adams
ACM Journal on Emerging Technologies in Computing Systems
Duke University, USA / email: jetc-administrator@[Link] / [Link]
Headquarters Journals Staff
Laura Lander
Journal Manager
Irma Strolia
Editorial Assistant
Media Content Marketing
Production
Mail:
ACM Member Services Dept.
2 Penn Plaza, Suite 701
New York, NY 10121-0701
Phone: +1-212-626-0500
Fax:
+1-212-944-1318
Email:
acmhelp@[Link]
Catalog: [Link]
Subscription rates for the ACM Journal on Emerging Technologies in Computing Systems are $46 per year for ACM
members, $41 for students, and $170 for nonmembers. Single copies are $18 each for ACM members and $40
for nonmembers. Your subscription expiration date is coded in four digits at the top of your mailing label; the
first two digits show the year, the last two show the month of expiration.
The ACM Journal on Emerging Technologies in Computing Systems (JETC) (ISSN: 1550-4832) is published quarterly in Spring, Summer,
Fall, and Winter by the Association for Computing Machinery (ACM), 2 Penn Plaza, Suite 701, New York, NY 10121-0701. Summer 2015.
Periodicals class postage paid at New York, NY 10001, and at additional mailing offices. Printed in the U.S.A. POSTMASTER: Send address
changes to ACM Journal on Emerging Technologies in Computer Science, ACM, 2 Penn Plaza, Suite 701, New York, NY 10121-0701.
Copyright 2015 by the Association for Computing Machinery (ACM). Permission to make digital or hard copies of part or all
of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or
commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of
this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish,
to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permission to republish
from: Publications Department, ACM, Inc. Fax +1
212-869-0481 or email permissions@[Link].
For other copying of articles that carry a code at
the bottom of the first or last page or screen display, copying is permitted provided that the percopy fee indicated in the code is paid through
the Copyright Clearance Center, 222 Rosewood
Drive, Danvers, MA 01923.
About ACM. ACM is the worlds largest educational and scientific computing society, uniting educators,
researchers and professionals to inspire dialogue, share resources and address the fields challenges. ACM strengthens the computing professions collective voice through strong leadership, promotion of the highest standards,
and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking.
Visit ACMs Website: [Link]
Change of Address Notification. To notify ACM of a change of address, use the addresses above or send an
email to coa@[Link].
Please allow 68 weeks for new membership or change of name and address to become effective. Send your
old label with your new address notification. To avoid interruption of service, notify your local post office before
change of residence. For a fee, the post office will forward 2nd- and 3rd-class periodicals.