352 search results - page 34 / 71 » Fail-Awareness in Timed Asynchronous Systems |
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
CSCW
1992
ACM
14 years 26 days ago
1992
ACM
Today, most cooperative systems support primarily either asynchronous or synchronous (real time) cooperative work. We feel that both synchronous and asynchronous cooperation are e...
FMICS
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
RTSS
1994
IEEE
14 years 27 days ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
ICDCS
2009
IEEE
14 years 6 months ago
2009
IEEE
Although distributed key generation (DKG) has been studied for some time, it has never been examined outside of the synchronous setting. We present the first realistic DKG archit...