1316 search results - page 128 / 264 » Analytic performance models for bounded queueing systems |
106
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
144
click to vote
ICNS
2006
IEEE
15 years 7 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
115
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
DAC
2002
ACM
16 years 2 months ago
2002
ACM
We present a framework for passivity-preserving model reduction for RLC systems that includes, as a special case, the well-known PRIMA model reduction algorithm. This framework pr...
136
click to vote
RTAS
2006
IEEE
15 years 7 months ago
2006
IEEE
Caches have become invaluable for higher-end architectures to hide, in part, the increasing gap between processor speed and memory access times. While the effect of caches on timi...