4679 search results - page 506 / 936 » The Timely Computing Base Model and Architecture |
170
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
203
click to vote
FORTE
2004
15 years 8 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
185
click to vote
ICS
2010
Tsinghua U.
15 years 5 months ago
2010
Tsinghua U.
Abstract—Power modeling based on performance monitoring counters (PMCs) has attracted the interest of many researchers since it become a quick approach to understand and analyse ...
192
click to vote
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
192
click to vote
ICDCS
2009
IEEE
16 years 4 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...