469 search results - page 13 / 94 » Language and library support for practical PRAM programming |
110
click to vote
DNA
2009
Springer
15 years 3 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
106
click to vote
JCDL
2003
ACM
15 years 5 months ago
2003
ACM
Early modern books written in Latin contain many abbreviations of common words that are derived from earlier manuscript practice. While these abbreviations are usually easily deci...
166
click to vote
POPL
2002
ACM
16 years 2 hour ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...
CIE
2007
Springer
15 years 5 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...