7080 search results - page 197 / 1416 » Designing High Integrity Systems Using Aspects |
119
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
150
Voted
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
120
Voted
AICOM
2005
15 years 2 months ago
2005
Data retrieval and its integration is one of the major problems that face large and complex health organizations. This is especially relevant when patient information is produced i...
133
Voted
JOT
2008
15 years 2 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
186
Voted
Publication
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...