1147 search results - page 39 / 230 » Termination in language-based systems |
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
—Orthogonal variable spreading factor (OVSF) codes are used in both universal terrestrial radio access–frequency division duplex (UTRA-FDD) and time division duplex (UTRA-TDD) ...
MDM
2001
Springer
14 years 1 months ago
2001
Springer
This paper reports on the dynamic adaptation of multimedia services for both mobile and fixed terminal devices. The adaptation is done based on the device features and includes bot...
RTA
2007
Springer
14 years 2 months ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
PEPM
2010
ACM
13 years 10 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
ISPA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents an efficient parallel algorithm for volume rendering of large-scale datasets. Our algorithm focuses on an optimization technique, namely early ray te...