181 search results - page 7 / 37 » It's About Time: Real-Time Logics Reviewed |
EUROMICRO
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
FORTE
2001
14 years 8 days ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
ISBI
2007
IEEE
14 years 5 months ago
2007
IEEE
Emerging multi-core processors are able to accelerate medical imaging applications by exploiting the parallelism available in their algorithms. We have implemented a mutual-inform...
ICDT
1999
ACM
14 years 3 months ago
1999
ACM
Abstract. In this paper we consider databases representing information about moving objects (e.g. vehicles), particularly their location. We address the problems of updating and qu...
GLOBECOM
2008
IEEE
14 years 5 months ago
2008
IEEE
—Many distribution algorithms have been proposed up to now for P2P real time streaming. However, due to the lack of basic theoretical results and bounds, common sense and intuiti...