1316 search results - page 128 / 264 » Analytic performance models for bounded queueing systems |
199
click to vote
CASES
2006
ACM
16 years 23 days 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...
226
click to vote
ICNS
2006
IEEE
16 years 25 days 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 ...
176
click to vote
IPPS
2006
IEEE
16 years 25 days 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...
154
click to vote
DAC
2002
ACM
16 years 7 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...
202
click to vote
RTAS
2006
IEEE
16 years 24 days 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...