Sciweavers

614 search results - page 61 / 123
» Design Methodology for a Modular Component Based Software Ar...
Sort
View
APSEC
2005
IEEE
14 years 3 months ago
Consistency and Interoperability Checking for Component Interaction Rules
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
Yan Jin, Jun Han
DT
2000
88views more  DT 2000»
13 years 10 months ago
Postsilicon Validation Methodology for Microprocessors
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
Hemant G. Rotithor
ICSE
2001
IEEE-ACM
14 years 2 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
CAEPIA
2005
Springer
14 years 3 months ago
Multiagent Architecture for Monitoring the North-Atlantic Carbon Dioxide Exchange Rate
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...
Javier Bajo, Juan M. Corchado
HPCC
2007
Springer
14 years 4 months ago
Performance Evaluation of Distributed Computing over Heterogeneous Networks
RWAPI is a low-level communication interface designed for clusters of PCs. It has been developed to provide performance to higher applications on a wide variety of architectures. W...
Ouissem Ben Fredj, Éric Renault