352 search results - page 15 / 71 » Fail-Awareness in Timed Asynchronous Systems |
FMCO
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
ENGL
2007
13 years 7 months ago
2007
—This paper deals with stabilization of LTI switched systems with input time delay. A description of systems’ stabilization is presented. Common Lyapunov function is introduced...
ASYNC
2002
IEEE
14 years 15 days ago
2002
IEEE
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Linear precoding for multiuser multiple input multiple output (MIMO) cellular systems has generally focused on a single isolated cell. A crucial tool in algorithm develo...
ICDCS
2003
IEEE
14 years 25 days ago
2003
IEEE
In recent years there has been an increasing demand to build ”soft” real-time applications on top of asynchronous distributed systems. Designing and implementing such applicat...