Sciweavers

4190 search results - page 180 / 838
» Type Class Directives
Sort
View
DNA
2009
Springer
194views Bioinformatics» more  DNA 2009»
15 years 8 months ago
A Domain-Specific Language for Programming in the Tile Assembly Model
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...
David Doty, Matthew J. Patitz
CORR
2011
Springer
222views Education» more  CORR 2011»
14 years 11 months ago
Generic Trace Logics
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
Christian Kissig, Alexander Kurz
ICIP
2009
IEEE
15 years 1 months ago
Modeling of image shutters and motion blur in analog and digital camera systems
For motion imaging the perceived smoothness of a sequence highly depends on motion blur. The exposure for each frame is started and ended with a shutter mechanism. There are diffe...
Michael Schöberl, Siegfried Fößel,...
SAIG
2000
Springer
15 years 7 months ago
Compiling Embedded Languages
Abstract. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented techniq...
Conal Elliott, Sigbjorn Finne, Oege de Moor
DRM
2003
Springer
15 years 9 months ago
Obfuscation of design intent in object-oriented applications
Protection of digital data from unauthorized access is of paramount importance. In the past several years, much research has concentrated on protecting data from the standpoint of...
Mikhail Sosonkin, Gleb Naumovich, Nasir D. Memon