2700 search results - page 295 / 540 » The role of abstraction in software engineering |
183
click to vote
PASTE
2004
ACM
16 years 1 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
152
click to vote
ADAEUROPE
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
193
click to vote
ADAEUROPE
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. To handle signal processing algorithms such as the Fast Fourrier Transform (FFT) or the Discrete Cosine Transform (DCT) system designers have traditionally resorted to sp...
160
click to vote
ADAEUROPE
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
150
click to vote
AMAST
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...