813 search results - page 1 / 163 » On the interaction between sharing and linearity |
CORR
2007
Springer
13 years 4 months ago
2007
Springer
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...
HUC
2010
Springer
13 years 6 months ago
2010
Springer
Many approaches have been proposed to connect mobile phones with interactive tables. Most rely on having the phone placed on table all times, which may hinder the overall user exp...
ISR
2010
12 years 11 months ago
2010
JUCS
2008
13 years 4 months ago
2008
Abstract: Nowadays, more and more users make use of web-based collaborative systems. Users participate in communities or search for and provide information in webbased systems. The...
VTC
2006
IEEE
13 years 11 months ago
2006
IEEE
— In the third generation wireless system UMTS, Radio Resource Management (RRM) functions should encompass scheduling algorithms. In particular, scheduling mechanisms play a key ...