1913 search results - page 205 / 383 » Architectural Concepts in Programming Languages |
148
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
117
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...
115
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
Abstract? Fixed-point DSPs are a class of embedded processors with highly irregular architectures. This irregularity makes it difficult to generate high-quality machine code from p...
125
click to vote
ITNG
2006
IEEE
15 years 10 months ago
2006
IEEE
We introduce a measurement system architecture, which has three main qualities: secure two-way transfer of measurement data, quick adaptability to different kinds of measurement ...
135
click to vote
USS
2008
15 years 6 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...