661 search results - page 44 / 133 » Distributed Real-Time Computing with Harness |
110
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
111
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
130
click to vote
LCN
2000
IEEE
15 years 6 months ago
2000
IEEE
Future computer networks are expected to carry bursty real-time traffic with stringent time-delay requirements. Popular shortest-path routing protocols have the disadvantage of ca...
140
click to vote
ICPPW
2009
IEEE
15 years 7 days ago
2009
IEEE
In this paper we address the problem of global real-time periodic scheduling on heterogeneous multiprocessor platforms. We give a solution based on a constraint satisfaction proble...
127
Voted
ICCV
2001
IEEE
16 years 4 months ago
2001
IEEE
This paper presents a novel approach for model-based realtime tracking of highly articulated structures such as humans. This approach is based on an algorithm which efficiently pr...