Sciweavers

672 search results - page 3 / 135
» On the Expressive Power of the Loop Language
Sort
View
PPDP
2009
Springer
14 years 9 days ago
On the expressive power of priorities in CHR
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Me...
IJWGS
2006
125views more  IJWGS 2006»
13 years 5 months ago
Compiling business processes: untangling unstructured loops in irreducible flow graphs
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...
Wei Zhao, Rainer Hauser, Kamal Bhattacharya, Barre...
ESTIMEDIA
2006
Springer
13 years 9 months ago
Loop Nest Splitting for WCET-Optimization and Predictability Improvement
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
Heiko Falk, Martin Schwarzer
DEDUCTIVE
1994
133views Database» more  DEDUCTIVE 1994»
13 years 7 months ago
Expressive Power of Non-Deterministic Operators for Logic-based Languages
Non-deterministic operators are needed in First-Order relational languages and Datalog to extend the expressive power of such languages and support efficient formulations of lowco...
Luca Corciulo, Fosca Giannotti, Dino Pedreschi, Ca...