147 search results - page 11 / 30 » Storing and Retrieving Software Components: A Refinement Bas... |
DATE
2000
IEEE
14 years 1 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...
AISC
2008
Springer
13 years 10 months ago
2008
Springer
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation I...
ATVA
2006
Springer
14 years 10 days ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
NLDB
2000
Springer
14 years 5 days ago
2000
Springer
To ease the retrieval of documents published on the Web, the documents should be classified in a way that users find helpful and meaningful. This paper presents an approach to sema...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Due to the enormous increase in the stored digital contents, search and retrieval functionalities are necessary in multimedia systems. Though processor speed for standard PCs (Per...