Sciweavers

254 search results - page 17 / 51
» Risk-Driven Architectural Decomposition
Sort
View
TCAD
2002
158views more  TCAD 2002»
13 years 8 months ago
Static power modeling of 32-bit microprocessors
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
Carlo Brandolese, Fabio Salice, William Fornaciari...
OOPSLA
2004
Springer
14 years 1 months ago
Resolving feature convolution in middleware systems
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...
Charles Zhang, Hans-Arno Jacobsen
IPPS
2002
IEEE
14 years 1 months ago
Effective Cross-Platform, Multilevel Parallelism via Dynamic Adaptive Execution
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...
Walden Ko, Mark N. Yankelevsky, Dimitrios S. Nikol...
CBSE
2006
Springer
14 years 5 days ago
Verification of Component-Based Software Application Families
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Fei Xie, James C. Browne
ROBOCUP
1999
Springer
94views Robotics» more  ROBOCUP 1999»
14 years 21 days ago
A Functional Architecture for a Team of Fully Autonomous Cooperative Robots
A three-level functional architecture for a team of mobile robots is described in detail, including the de nition of the role assigned to each level, the main concepts involved, a...
Pedro U. Lima, Rodrigo M. M. Ventura, Pedro Apar&i...