10666 search results - page 1563 / 2134 » Quantum programming languages |
136
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
We study contention-resolution protocols for multiple-access channels. We show that every backoff protocol is transient if the arrival rate, , is at least 0.42 and that the capaci...
181
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
232
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
136
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
: As part of a larger research on multimedia traffic performance over GPRS, we present a QoS study focusing on one parameter: bandwidth. GPRS is an evolutionary phase and a critica...
165
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...