1147 search results - page 31 / 230 » Termination in language-based systems |
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Cooperative relaying is a promising alternative for conventional mobile communications systems as it is able to increase coverage and throughput of these systems. Due to practi...
WSC
2000
13 years 10 months ago
2000
This paper describes a recently completed project involving the development of simulation models for the new international terminal at Istanbul Ataturk Airport, Istanbul, Turkey. ...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
DAC
2003
ACM
14 years 1 months ago
2003
ACM
Fourth-generation wireless communication systems (4G) will have totally different requirements than what front-end designers have been coping with up to now. Designs must be targe...
CORR
2011
Springer
13 years 14 days ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...