Sciweavers

1906 search results - page 126 / 382
» Dependable Self-Hosting Distributed Systems Using Constraint...
Sort
View
105
Voted
EPIA
1999
Springer
15 years 7 months ago
Analytic Modal Revision for Multi-agent Systems
We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally orie...
Paolo Di Giusto, Guido Governatori
IJES
2006
110views more  IJES 2006»
15 years 3 months ago
Partitioning bin-packing algorithms for distributed real-time systems
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
Dionisio de Niz, Raj Rajkumar
112
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
IPPS
2010
IEEE
15 years 23 days ago
Robust resource allocation of DAGs in a heterogeneous multicore system
In this study, we consider an environment composed of a heterogeneous cluster of multicore-based machines used to analyze satellite images. The workload involves large data sets, a...
Luis D. Briceo, Jay Smith, Howard Jay Siegel, Anth...
PRDC
2007
IEEE
15 years 9 months ago
Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype
This paper describes the implementation of a processorgroup membership protocol in an experimental real-time network. The protocol is appropriate for fault-tolerant distributed sy...
Raul Barbosa, António Ferreira, Johan Karls...