3481 search results - page 491 / 697 » Architecture as Object Models of Software |
123
click to vote
PERCOM
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we survey the models and approaches applied to the middleware services of pervasive computing environments. Architectural styles and patterns introduced in the doma...
109
click to vote
COSIT
2009
Springer
15 years 6 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
133
click to vote
ISCAPDCS
2008
15 years 1 months ago
2008
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
DAC
2004
ACM
16 years 25 days ago
2004
ACM
As multiprocessor systems-on-chip become a reality, performance modeling becomes a challenge. To quickly evaluate many architectures, some type of high-level simulation is require...