1229 search results - page 58 / 246 » Reflections on the Design of a Specification language |
DATE
2004
IEEE
13 years 12 months ago
2004
IEEE
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
JUCS
2000
13 years 8 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
is a mechanism for abstraction and encapsulation of languages. It aims to make the best support on the definition and implementation of new languages, especially DSLs (Domain Spec...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
In this paper, a new anisotropic diffusion noise filtering technique is proposed. The technique has two specific features: it is designed for vector-valued images in general and f...