ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
Requirements specification has long been acknowledged as an area for further research in the development of systems, particularly for those that are computer based. In addition, a...
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
The integration of software tools used in an engineering process is a problem that arises frequently in large-scale engineering projects. Traditional approaches are insufficient f...
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
Quantitative techniques have traditionally been used to assess software architectures. We have found that early in the development process there is often insufficient quantitative...
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
Reusing assets during application engineering promises to improve the efficiency of systems development. However, in order to benefit from reusable assets, application engineeri...
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
DATE
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, we give an overview of the trade-off to improve yield and optimize silicon manufacturing cost. The specific technology focus is on large embedded memories in comple...