1989 search results - page 251 / 398 » Integrity Management in Component Based Systems |
137
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
148
click to vote
APSEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
121
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
An approach to robust system level mixed signal design is presented based on analog platforms. The bottom-up characterization phase of platform components provides accurate perfor...
172
Voted
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
143
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
It has been widely recognized that the dynamic range information of an application can be exploited to reduce the datapath bitwidth of either processors or ASICs, and therefore th...