Sciweavers

2681 search results - page 124 / 537
» Topics in asynchronous systems
Sort
View
IWPC
2009
IEEE
15 years 11 months ago
Enabling more precise dependency analysis in event-based systems
Maintenance engineers need to understand component dependencies in a system to successfully modify component implementations. Interaction dependencies are especially hard to under...
Daniel Popescu, Joshua Garcia, Nenad Medvidovic
ENGL
2007
90views more  ENGL 2007»
15 years 4 months ago
Stabilization of LTI Switched Systems with Input Time Delay
—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...
Lin Lin
ACSD
2006
IEEE
76views Hardware» more  ACSD 2006»
15 years 8 months ago
Specification and Verification of Dynamic Communication Systems
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd W...
ACSD
2004
IEEE
160views Hardware» more  ACSD 2004»
15 years 8 months ago
Concurrency in Synchronous Systems
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis ...
Dumitru Potop-Butucaru, Benoît Caillaud, Alb...
BIRTHDAY
2010
Springer
15 years 5 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef