Sciweavers

3771 search results - page 166 / 755
» Subobject Transformation Systems
Sort
View
78
Voted
ISCAS
2006
IEEE
92views Hardware» more  ISCAS 2006»
15 years 9 months ago
Time-sliding suboptimal regulation of bilinear interconnected systems
— This paper focuses on the suboptimal regulation of multivariable discrete-time bilinear systems consisting of interconnected bilinear subsystems with respect to a linear quadra...
Manuel de la Sen, Aitor J. Garrido, J. C. Soto, Os...
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 8 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
102
Voted
IPPS
2000
IEEE
15 years 8 months ago
Automatic Implementation of Distributed Systems Formal Specifications
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
Luiz Henrique Castelo Branco, Antônio Franci...
139
Voted
ENTCS
2008
131views more  ENTCS 2008»
15 years 3 months ago
Connector Rewriting with High-Level Replacement Systems
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
Christian Koehler, Alexander Lazovik, Farhad Arbab
113
Voted
JPDC
2008
103views more  JPDC 2008»
15 years 3 months ago
On termination detection in crash-prone distributed systems with failure detectors
We investigate the problem of detecting termination of a distributed computation in systems where processes can fail by crashing. Specifically, when the communication topology is ...
Neeraj Mittal, Felix C. Freiling, Subbarayan Venka...