1147 search results - page 91 / 230 » Termination in language-based systems |
VTC
2006
IEEE
14 years 4 months ago
2006
IEEE
— In order to avoid the large peak transmit power, resulting from the high transmission rates expected for future mobile communication systems, a wireless multi-hop virtual cellu...
IWMM
2004
Springer
14 years 3 months ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
HT
2003
ACM
14 years 3 months ago
2003
ACM
We have presented a system called Pocket News that transforms web contents in the internet automatically to the contents to be adapted for a mobile terminal, especially PDA. It is...
AISC
2008
Springer
14 years 23 hour ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...