655 search results - page 26 / 131 » Coinduction in Concurrent Timed Systems |
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
RTSS
2007
IEEE
14 years 4 months ago
2007
IEEE
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
CODAS
2001
13 years 11 months ago
2001
An error-comprising workflow dejinition might provoke serious problems to an enterprise especially when it is involved with mission critical business processes. Concurrency of wor...
NOSSDAV
2004
Springer
14 years 3 months ago
2004
Springer
—In mobile devices, the wireless network interface card (WNIC) consumes a significant portion of overall system energy. One way to reduce energy consumed by a WNIC is to transit...
ASMTA
2008
Springer
13 years 12 months ago
2008
Springer
In this paper we analytically derive the sojourn time of a user accessing an online IPTV recording service. Basically, the system consists of a server (or server farm) and the band...