620 search results - page 61 / 124 » Concrete Abstractions |
142
click to vote
DBPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...
180
click to vote
IFL
2001
Springer
15 years 10 months ago
2001
Springer
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
198
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
159
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
152
click to vote
AGTIVE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...