Sciweavers

2797 search results - page 268 / 560
» Control Structures
Sort
View
BPSC
2010
139views Business» more  BPSC 2010»
15 years 1 months ago
Static Information Flow Analysis of Workflow Models
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
Rafael Accorsi, Claus Wonnemann
ISCA
2009
IEEE
159views Hardware» more  ISCA 2009»
15 years 10 months ago
End-to-end register data-flow continuous self-test
While Moore’s Law predicts the ability of semi-conductor industry to engineer smaller and more efficient transistors and circuits, there are serious issues not contemplated in t...
Javier Carretero, Pedro Chaparro, Xavier Vera, Jau...
PPSN
1994
Springer
15 years 7 months ago
Genetic L-System Programming
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
Christian Jacob
BTW
2003
Springer
94views Database» more  BTW 2003»
15 years 9 months ago
The Paradigm of Relational Indexing: a Survey
Abstract: In order to achieve efficient execution plans for queries comprising userdefined data types and predicates, the database system has to be provided with appropriate index ...
Hans-Peter Kriegel, Martin Pfeifle, Marco Pöt...
TOG
2012
215views Communications» more  TOG 2012»
13 years 6 months ago
Dual loops meshing: quality quad layouts on manifolds
We present a theoretical framework and practical method for the automatic construction of simple, all-quadrilateral patch layouts on manifold surfaces. The resulting layouts are c...
Marcel Campen, David Bommes, Leif Kobbelt