172 search results - page 14 / 35 » Enforcing synchronous system properties on top of timed syst... |
ICDCS
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper presents a new transformation which adds fault-containment properties to any silent self-stabilizing protocol. The transformation features a constant slow-down factor a...
TSP
2008
13 years 7 months ago
2008
This paper studies the blind block synchronization problem in block transmission systems using linear redundant precoders (LRP). Two commonly used LRP systems, namely, zero padding...
ICCAD
1996
IEEE
13 years 11 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
DAC
2009
ACM
13 years 11 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
LAWEB
2005
IEEE
14 years 28 days ago
2005
IEEE
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...