16159 search results - page 2978 / 3232 » Parallel computing with CUDA |
132
click to vote
ISORC
2007
IEEE
15 years 8 months ago
2007
IEEE
In service-based systems, services from various providers can be integrated following specific workflows to achieve users’ goals. These workflows are often executed and coordina...
106
click to vote
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose a wireless medium access control (MAC) protocol that provides static-priority scheduling of messages in a guaranteed collision-free manner. Our protocol supports multip...
123
Voted
VTC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Interleave Division Multiple Access (IDMA) is a promising air interface for future wireless networks. Optimization of access schemes regarding cross user aspects is also a topi...
138
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
89
Voted
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...