6474 search results - page 210 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
164
click to vote
ISPASS
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper proposes the use of microprocessor performance counters for online measurement of complete system power consumption. While past studies have demonstrated the use of per...
188
click to vote
ASWEC
2005
IEEE
16 years 4 days ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
157
click to vote
CCE
2006
15 years 6 months ago
2006
This paper describes applications of molecular simulation to microelectronics processes and the subsequent development of techniques for multiscale simulation and multiscale syste...
176
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
A real-time active database system (RTADBS) has to provide capabilities for timely trigger of timeconstrained transactions and at the same time to process them, concurrently with ...
138
click to vote
TACS
1997
Springer
15 years 10 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...