1147 search results - page 99 / 230 » Termination in language-based systems |
123
click to vote
JSC
2006
15 years 23 days ago
2006
In this paper, we present a new algorithm for the exact solutions of linear systems with integer coefficients using numerical methods. It terminates with the correct answer in wel...
97
Voted
VLDB
2002
ACM
15 years 13 days ago
2002
ACM
We have been developing a mobile passenger support system for public transport. Passengers can make their travel plans and purchase necessary tickets by accessing databases via th...
83
Voted
VTC
2010
IEEE
14 years 11 months ago
2010
IEEE
— in this paper we address the problem of reducing the feedback for the downlink transmission in multi-carrier systems. In these systems multiple Component Carriers (CCs) are agg...
VLSID
2001
IEEE
16 years 1 months ago
2001
IEEE
The need for low-power multimedia processing is integral to portable and embedded devices such as cell phones, wireless terminals, multimedia handhelds and PDAs. The multimedia pr...
95
Voted
STOC
2001
ACM
16 years 1 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...