10241 search results - page 1542 / 2049 » Goal-Driven Software Development |
134
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
: We introduce the concept of an operating system for platforms that consist beside memory and peripheral devices of FPGAs as the only computational resource. Applications can be d...
142
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
: Normally the SISCI interface provides a Distributed Shared Memory (DSM) abstraction using the Scalable Coherent Interface (SCI). This paper describes and discusses the design and...
151
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
142
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
153
click to vote
DEXA
2004
Springer
15 years 10 months ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...