323 search results - page 15 / 65 » Synthesis for Structure Rewriting Systems |
DAGSTUHL
1993
13 years 9 months ago
1993
In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment,...
IPPS
2002
IEEE
14 years 16 days ago
2002
IEEE
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
The publish-subscribe paradigm is an effective approach for data publishers to asynchronously disseminate relevant data to a large number of data subscribers. A lot of recent res...
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
It has been shown that Binary Decision Diagram (BDD) based logic synthesis enjoys faster runtime than the classic logic synthesis systems based on Sum of Product (SOP) form. Howev...
ESANN
2007
2007
Three-dimensional self-organizing dynamical systems for discrete structures memorizing and retrieval
13 years 9 months ago
The synthesis concept for dynamical system with the memory of multiple states defined with the quaternion algebra usage is considered. The system memorizes numerous configurations ...