4604 search results - page 654 / 921 » Concurrency in Synchronous Systems |
107
Voted
QEST
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
109
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
108
Voted
FPL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We propose CUSTARD — CUStomisable Threaded ARchitecture — a soft processor design space that combines support for multiple hardware threads and automatically generate...
104
click to vote
ICN
2005
Springer
15 years 6 months ago
2005
Springer
This paper introduces a dynamic bandwidth allocation algorithm in a video streaming multicast system. The approach is to introduce the vibration of received video quality into the ...
109
Voted
MDM
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we propose a query-driven approach for tuning the time/energy trade-off in sensor networks with mobile sensors. The tuning factors include re-positioning of mobile s...