Sciweavers

180 search results - page 21 / 36
» Self-Assembly of Infinite Structures
Sort
View
PODS
2004
ACM
139views Database» more  PODS 2004»
14 years 9 months ago
On Preservation under Homomorphisms and Unions of Conjunctive Queries
Unions of conjunctive queries, also known as select-project-join-union queries, are the most frequently asked queries in relational database systems. These queries are definable b...
Albert Atserias, Anuj Dawar, Phokion G. Kolaitis
SPDP
1990
IEEE
14 years 1 months ago
A semi distributed load balancing scheme for large multicomputer systems
In this paper, we propose a semi distributed approach, for load balancing in large parallel and distributedsystems. Theproposedschemeisa twolevel hierarchical scheme which partiti...
Ishfaq Ahmad, Arif Ghafoor
CEFP
2009
Springer
13 years 7 months ago
Reasoning about Codata
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...
Ralf Hinze
CDC
2010
IEEE
221views Control Systems» more  CDC 2010»
13 years 4 months ago
Performance limitations of the servomechanism problem when the number of tracking/disturbance poles increases
In this paper, we study the cheap control problem and determine what some of the inherent system limitations are in achieving high performance for LTI systems. In particular, we ob...
Edward J. Davison, Simon Lam
TIT
2010
103views Education» more  TIT 2010»
13 years 4 months ago
Performance bounds for erasure, list and decision feedback schemes with linear block codes
A message independence property and some new performance upper bounds are derived in this work for erasure, list and decision-feedback schemes with linear block codes transmitted ...
Eran Hof, Igal Sason, Shlomo Shamai