3053 search results - page 100 / 611 » Hybrid Systems Diagnosis |
ITP
2010
13 years 8 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...
CSE
2011
IEEE
12 years 10 months ago
2011
IEEE
In this paper, we present a performance modeling framework based on memory bandwidth contention time and a parameterized communication model to predict the performance of OpenMP, M...
HOTOS
2009
IEEE
14 years 2 months ago
2009
IEEE
:
DATASCIENCE
2002
13 years 10 months ago
2002
This paper proposes an overview of the IMSA application, a patient-oriented medical information system. IMSA stands for Interactive Multimedia System for Auto-medication and aims ...