Sciweavers

614 search results - page 61 / 123
» Design Methodology for a Modular Component Based Software Ar...
Sort
View
92
Voted
APSEC
2005
IEEE
15 years 6 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
106
Voted
DT
2000
88views more  DT 2000»
15 years 12 days 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
93
Voted
ICSE
2001
IEEE-ACM
15 years 5 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
15 years 6 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
15 years 6 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