3771 search results - page 147 / 755 » Subobject Transformation Systems |
135
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
In this paper we show how the symmetry present in many linear systems can be exploited to significantly reduce the computational effort required for controller synthesis. This app...
106
Voted
FUIN
2008
15 years 3 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...
130
click to vote
ET
2010
15 years 2 months ago
2010
—Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. For the class of static affine program...
103
click to vote
ASIACRYPT
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we show a general transformation from any honest verifier statistical zero-knowledge argument to a concurrent statistical zero-knowledge argument. Our transformatio...
130
click to vote
ILP
2003
Springer
15 years 8 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...