Sciweavers

1399 search results - page 56 / 280
» A Component Model for Control-Intensive Distributed Embedded...
Sort
View
BIRTHDAY
2007
Springer
14 years 1 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
ASPDAC
2010
ACM
233views Hardware» more  ASPDAC 2010»
13 years 5 months ago
Computer-aided recoding for multi-core systems
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
Rainer Dömer
SAMOS
2010
Springer
13 years 6 months ago
Identifying communication models in Process Networks derived from Weakly Dynamic Programs
—Process Networks (PNs) is an appealing computation ion helping to specify an application in parallel form and realize it on parallel platforms. The key questions to be answered ...
Dmitry Nadezhkin, Todor Stefanov
CD
2004
Springer
14 years 1 months ago
Deploying Agents with the CORBA Component Model
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
Fabio Melo, Ricardo Choren, Renato Cerqueira, Carl...
SIGSOFT
1998
ACM
13 years 12 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan