3706 search results - page 195 / 742 » System Description: E-KRHyper |
APSEC
1999
IEEE
14 years 3 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
ICCAD
1994
IEEE
14 years 2 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
DAC
1994
ACM
14 years 2 months ago
1994
ACM
Multi-dimensional(MD) systems are widely used in scienti c applications such as image processing, geophysical signal processing and
uid dynamics. Earlier scheduling methods in syn...
AMTA
1998
Springer
14 years 2 months ago
1998
Springer
The objective of the emis project is the conception and realization of a multilingualinformation system on European media law with the following functionalities: search by words, ...
COOPIS
2004
IEEE
14 years 2 months ago
2004
IEEE
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...