5777 search results - page 258 / 1156 » The palladio component model |
200
click to vote
FTRTFT
2000
Springer
15 years 11 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
149
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Short time-to-market is an important requirement for developing web-based systems. Software architecture plays a critical role for time-to-market objective to be satisfied since i...
239
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
209
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
For a nanoCMOS of sub-65nm technology, where the gate oxide (SiO2) thickness is very low, the gate leakage is one of the major components of power dissipation. In this paper, we pr...
200
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...