1704 search results - page 265 / 341 » Focusing Software Education on Engineering |
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
SERA
2005
Springer
15 years 3 months ago
2005
Springer
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR system...
ARCS
2004
Springer
15 years 3 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...
ARCS
2004
Springer
15 years 3 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...
ICCBSS
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we propose a taxonomy for classifying COTS business applications, i.e. products that are used in the daily functioning of all types of organizations worldwide, such a...