Darko Stefanovic

Proceedings of the 5th ACM International Conference on Nanoscale Computing and Communication, 2018

Verifiably Lazy: Verified Compilation of Call-by-Need.

[BibT_eX]

[DOI]

George Stelle

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

2017

Integer arithmetic approximation of the hog algorithm used for pedestrian detection.

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2017

Feedforward Chemical Neural Network: An In Silico Chemical System That Learns xor.

[BibT_eX]

[DOI]

Artif. Life, 2017

Towards Temporal Logic Computation Using DNA Strand Displacement Reactions.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2017

FaceTime - Deep learning based face recognition attendance system.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Intelligent Systems and Informatics, 2017

2016

Modular verification of chemical reaction network encodings via serializability analysis.

[BibT_eX]

[DOI]

Andrew Phillips

Theor. Comput. Sci., 2016

Assessing the success of e-government systems: An employee perspective.

[BibT_eX]

[DOI]

Inf. Manag., 2016

Memory and Information Processing in Recurrent Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2016

Deep Neural Networks Based Recognition of Plant Diseases by Leaf Image Classification.

[BibT_eX]

[DOI]

Comput. Intell. Neurosci., 2016

Logic circuits based on molecular spider systems.

[BibT_eX]

[DOI]

Dandan Mo

Biosyst., 2016

Cactus Environment Machine - Shared Environment Call-by-Need.

[BibT_eX]

[DOI]

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

Stella: a python-based domain-specific language for simulations.

[BibT_eX]

[DOI]

David C. Mohr

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Product Echo State Networks: Time-Series Computation with Multiplicative Neurons.

[BibT_eX]

[DOI]

Alireza Shabani

CoRR, 2015

Computational Capacity and Energy Consumption of Complex Resistive Switch Networks.

[BibT_eX]

[DOI]

CoRR, 2015

Hierarchical composition of memristive networks for real-time computing.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, 2015

Scalable Design of Logic Circuits Using an Active Molecular Spider System.

[BibT_eX]

[DOI]

Dandan Mo

Proceedings of the Information Processing in Cells and Tissues, 2015

Product reservoir computing: Time-series computation with multiplicative neurons.

[BibT_eX]

[DOI]

Alireza Shabani

Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

A Principled Approach to HPC Event Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Fault Tolerance for HPC at eXtreme Scale, 2015

Supervised Learning in an Adaptive DNA Strand Displacement Circuit.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015

Exploring transfer function nonlinearity in echo state networks.

[BibT_eX]

[DOI]

Alireza Shabani

Proceedings of the 2015 IEEE Symposium on Computational Intelligence for Security and Defense Applications, 2015

2014

Preface.

[BibT_eX]

[DOI]

Andrew J. Turberfield

Nat. Comput., 2014

A Comparative Study of Reservoir Computing for Temporal Signal Processing.

[BibT_eX]

[DOI]

CoRR, 2014

Pattern Formation by Spatially Organized Approximate Majority Reactions.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2014

Reservoir Computing Approach to Robust Computation Using Unreliable Nanoscale Networks.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2014

A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2014

Towards a Calculus of Echo State Networks.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual International Conference on Biologically Inspired Cognitive Architectures, 2014

The Effects of Multivalency and Kinetics in Nanoscale Search by Molecular Spiders.

[BibT_eX]

[DOI]

Oleg Semenov

Milan N. Stojanovic

Proceedings of the Evolution, Complexity and Artificial Life, 2014

2013

Cooperative linear cargo transport with molecular spiders.

[BibT_eX]

[DOI]

Oleg Semenov

Nat. Comput., 2013

Catalytic Molecular Walkers: Aspects of Product Release.

[BibT_eX]

[DOI]

Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

Iterative Self-assembly with Dynamic Strength Transformation and Temperature Control.

[BibT_eX]

[DOI]

Dandan Mo

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

Modular Verification of DNA Strand Displacement Networks via Serializability Analysis.

[BibT_eX]

[DOI]

Andrew Phillips

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

DNA Reservoir Computing: A Novel Molecular Computing Approach.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

Computing Game Strategies.

[BibT_eX]

[DOI]

Milan N. Stojanovic

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012

Deoxyribozymes performing logic operations and simple computations.

[BibT_eX]

[DOI]

Scholarpedia, 2012

Towards a Biomolecular Learning Machine.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2012

Maze Exploration with Molecular-Scale Walkers.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Natural Computing, 2012

Representing Uniqueness Constraints in Object-Relational Mapping - The Natural Entity Framework.

[BibT_eX]

[DOI]

David C. Mohr

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

2011

Multiple Molecular Spiders with a Single Localized Source - The One-Dimensional Case - (Extended Abstract).

[BibT_eX]

[DOI]

Oleg Semenov

Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011

Multivalent Random Walkers - A Model for Deoxyribozyme Walkers.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011

ISO: numeric representation of nucleic acid form.

[BibT_eX]

[DOI]

M. Leigh Fanning

Proceedings of the ACM International Conference on Bioinformatics, 2011

2010

Shape Analysis with Reference Set Relations.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

2009

Molecular Automata.

[BibT_eX]

[DOI]

Milan N. Stojanovic

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Advancing the Deoxyribozyme-Based Logic Gate Design Process.

[BibT_eX]

[DOI]

M. Leigh Fanning

Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009

2008

Emerging Models of Computation: Directions in Molecular Computing.

[BibT_eX]

[DOI]

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Wake up and smell the coffee: evaluation methodology for the 21st century.

[BibT_eX]

[DOI]

Commun. ACM, 2008

Sharing analysis of arrays, collections, and recursive structures.

[BibT_eX]

[DOI]

Mario Méndez-Lojo

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2008

Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

Heap analysis in the presence of collection libraries.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

2006

Generating object lifetime traces with Merlin.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2006

On the Prediction of Java Object Lifetimes.

[BibT_eX]

[DOI]

Hajime Inoue

Stephanie Forrest

IEEE Trans. Computers, 2006

The DaCapo benchmarks: java benchmarking development and analysis.

[BibT_eX]

[DOI]

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2006

2005

Randomized instruction set emulation.

[BibT_eX]

[DOI]

Elena Gabriela Barrantes

David H. Ackley

Stephanie Forrest

ACM Trans. Inf. Syst. Secur., 2005

Garbage Collection With a Large Address Space for Server Applications.

[BibT_eX]

Sergiy Kyrylkov

Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Designing Nucleotide Sequences for Computation: A Survey of Constraints.

[BibT_eX]

[DOI]

Jennifer A. Sager

Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

Towards Practical Biomolecular Computers Using Microfluidic Deoxyribozyme Logic Gate Networks.

[BibT_eX]

[DOI]

Joseph Farfel

Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

2004

Building the Components for a Biomolecular Computer.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

2003

Model Checking Reconfigurable Processor Configurations for Safety Properties.

[BibT_eX]

[DOI]

John Cochran

Proceedings of the Field Programmable Logic and Application, 13th International Conference, 2003

Randomized instruction set emulation to disrupt binary code injection attacks.

[BibT_eX]

[DOI]

Elena Gabriela Barrantes

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

2002

Error-free garbage collection traces: how to cheat and not get caught.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002

Older-first garbage collection in practice: evaluation in Java Virtual Machine.

[BibT_eX]

[DOI]

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

2000

On Models for Object Lifetimes.

[BibT_eX]

[DOI]

Kathryn S. McKinley

Proceedings of the ISMM 2000, 2000

On Availability of Bit-Narrow Operations in General-Purpose Applications.

[BibT_eX]

[DOI]

Margaret Martonosi

Proceedings of the Field-Programmable Logic and Applications, 2000

Limits and Graph Structure of Available Instruction-Level Parallelism (Research Note).

[BibT_eX]

[DOI]

Margaret Martonosi

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Age-Based Garbage Collection.

[BibT_eX]

[DOI]

Kathryn S. McKinley

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

1997

Learning to Schedule Straight-Line Code.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 10, 1997

1994

Characterization of Object Behaviour in Standard ML of New Jersey.

[BibT_eX]

[DOI]

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1992

A Comparative Performance Evaluation of Write Barrier Implementations.

[BibT_eX]

[DOI]

Antony L. Hosking